But leap seconds hose up astronomical applications too. They all start with TAI and then apply corrections as needed. There are lots more corrections than leap seconds, but they're applied proportionally, not as leaps.

Leap seconds are a solution in search of a problem.