NavList thread: Almanacs & UTC redefinition