TAI has no leap seconds, but years, as currently defined, do. And yes, I'm advocating for changing that definition, and making UTC a constant offset from TAI t

TAI has no leap seconds, but years, as currently defined, do. And yes, I'm advocating for changing that definition, and making UTC a constant offset from TAI that works the same as TAI for the foreseeable future.