Thanks for the heads-up. It looks like this is the last time Google will use a 20-hour linear smear for a leap second; next time Google plans to use a 24-hour linear smear, as that is more popular elsewhere. They are proposing the latter as a standard practice everywhere. See: https://developers.google.com/time/smear