NavList thread: UT1 vs. mean time in old almanacs