Making Old Pedestrian Crossing Lights New Again

After impulsively buying a set of old pedestrian crossing lights at a local swap-meet (13 year old me forced me to), I wanted to get them going again both for the kids to use in the back yard and also for me to use to tell the kids when it is/isn't safe to come into the garage. I added 240V LED spotlights inside, controlled via relays with a Raspberry Pi Pico, and then a basic MicroPython…