just as a general interest fyi, some of the NIST timeservers have failed due to an extended power outage in Boulder, Colorado. Someone here probably has an interesting enough job to suffer knock-on effects. https://groups.google.com/a/list.nist.gov/g/internet-time-service/c/o0dDDcr1a8I
interestingly, the outages reported this year, or indeed the last two or three years, on that mailing list are heavily clustered in the last few weeks.







