NavList thread: Algorithm for star ephemerides?