NavList thread: Social media giants and leap seconds