Consider this thread done. Please, everyone, stay on topic. Don't post non-technical newspaper articles. Don't reply to off-topic postings. Keep the chatter down. Keep the quality up. This is not twitter or reddit. Thanks, /tvb www.leapsecond.com/time-nuts.htm