NavList thread: Big names in tech want to ditch the leap seconds