He’s done a fantastic job documenting how he swapped the original controller out for a Raspberry ... of the clock’s PCB, but a schematic he could use to help wire in the Pi Pico.

which is handy if one needs to quickly find where to insert the Raspberry Pi SD card, for example. Unfortunately, Elecrow has not provided a schematic for the main PCB. The user manual states that ...