NavList thread: Re: almanacs & UTC redefinition