NavList thread: The Future of UTC Leap Seconds (fwd)