NavList thread: Star identification via Bygrave formulas