It is not explained anywhere that unlike official Arduino mbed cores, you need to prepend D before number for digital pins.
Another rather large difference is that servo PWM ranges are set very conservatively according to https://github.com/earlephilhower/arduino-pico/issues/776.
I think this can be two common gotchas for people trying to port their code from Arduino mbed nano core, so perhaps worth adding them to the docs.
It is not explained anywhere that unlike official Arduino mbed cores, you need to prepend D before number for digital pins. Another rather large difference is that servo PWM ranges are set very conservatively according to https://github.com/earlephilhower/arduino-pico/issues/776.
I think this can be two common gotchas for people trying to port their code from Arduino mbed nano core, so perhaps worth adding them to the docs.