NavList thread: Leap seconds: good or bad?