NavList thread: GPS 3 and the history of GPS