Official NTP servers: building a list from the BIPM annual report

The problem Ask anyone where their servers get time from and the answer is almost always pool.ntp.org, time.google.com or time.cloudflare.com. Those work, but they are not official time. The pool is volunteer-run machines of unknown quality, and Google famously smears the leap second, which means it deliberately serves time that is wrong by up to 500 ppm around a leap event — fine for a fleet that…