Exciting to see Google advocate for a standard linear smear for leap seconds! Smearing feels like the best solution, we just need consensus on how to do it. https://developers.google.com/time/smear