I thought about doing precisely something like this, with a tcxo and an fpga! I’m happy to see someone else has already taken it to its logical conclusion.

The only other thing I’d add is NTP support, and perhaps I2C for driving external displays (such as a few other time zones).