The article says the badge has a "full raspberry pi", but from reading the badge docs, it's just a RP2350B MCU.
What is the difference between that and a "full Raspberry Pi"? Is it that this thing just runs MicroPython and not a full Linux?
I should fix that!
Thanks for calling this out, I put a strike through "full Raspberry Pi" and replaced it with "Raspberry Pi Pico microcontroller" instead.