Raspberry Pi Pico: Independent Control of 2 LEDs Using 2 Buttons (GP12-13 + GP4- | BlueGrays