Discontinous pin numbers (for nRF52840 dongle)

There's actually a special definition for it called PIN_NAMES_DIRECT - https://github.com/espruino/Espruino/blob/master/boards/PICO_R1_3.py#L45

Basically if all the pins are there then Espruino just works out the offset in pinInfo based on the number after D. If they're not then you can use PIN_NAMES_DIRECT and it does a search.

IMO it wouldn't be the end of the world to leave all the pins defined though?

edit: I just saw your other post - seems like a good plan to remove them :)