NavList thread: Navigation stars and constellations in animation