NavList thread: Re: GPS time for celestial (longish)