Comment by fuoqi

Hallelujah! It's quite a shame that this hack had to be used and the logical trichotomy of UTC/UT1/TAI got broken. Computer systems (and UNIX time in particular) should've been using TAI from the beginning with leap seconds being tracked together with time zones, but I guess it's better than the previous mess.