NavList thread: Re: Navigation News article on leap seconds