Direct link, rather than a repost: https://groups.google.com/a/list.nist.gov/g/internet-time-se...