NavList thread: The All-Haversine formula for Hc known since 1924?