https://learning.kidzcancode.com/lesson/lesson-3-leds-with-micropython/
https://github.com/raspberrypi/pico-micropython-examples