https://diyprojectslab.com/rgb-led-using-a-raspberry-pi-pico/
RGB LED Using a Raspberry Pi Pico with MicroPython