Also, the Ryanteck RTk.GPIO (PC GPIO Interface) has USB and 2x20 pin GPIO:
https://uk.pi-supply.com/collections/all-raspberry-pi-hats-a... :
> The RTk.GPIO is a Plug & Play USB Device which adds 28 x Raspberry Pi style GPIO pins to your computer
The Pi Pico RP2040 has one onboard LED on pin 25. The Pi Pico W (RP2040W) has an onboard LED but it's no longer connected to the 2x20 GPIO, so it's `machine.Pin("LED")` instead of `machine.Pin(25)`.
Wokwi has a WASM Pi Pico simulator.
/q rp2040 "WebBluetooth"
awesome-web-serial lists a few RP2040-compatible things: https://github.com/louisfoster/awesome-web-serial
web-bluetooth-repl is a REPL over WebBluetooth with MicroPython devices that support Bluetooth: https://github.com/siliconwitchery/web-bluetooth-repl
Pybricks does MicroPython over WebBluetooth with a NextJS app.