Popular websites such as Reddit and software platforms such as Mozilla have been disrupted by the addition of an extra second to the world’s atomic clocks. In particular, platforms that rely heavily ...