Instead, it transpired that this TM1637 module had huge (10nF) capacitors between 0V and the incoming clock and data, causing super-sluggish signal rise times (~100μs). Credit for this discovery goes ...

The Arduino uses latitude and longitude to help decide when to click on the lights, so it's incredibly accurate. Otherwise, the build just includes an on/off switch, a Tiny RTC, a time adjustment ...