What RP2040 GPIOs are used by the user LED and PB?
Based on the pin definitions in CircuitPython for the board.
- The LED (labelled !) is GPIO 25
- The UserSwitch (labelled BOOT) is GPIO 23
The Power Button is not referenced in the pin definitions and I suspect it doesn’t go to the RP2040 (but I could be wrong.)