The leap second is dead. Long live the leap hour? | Hacker News Reader