I now realized that the parent meant everything should have been TAI from the beginning, which is indeed a valid take. We can't switch to TAI today only because we are already using UTC.
Original comment: Only those who never tried to actually use TAI yourself can claim that you can use TAI instead of UTC without a problem.
Original comment: Only those who never tried to actually use TAI yourself can claim that you can use TAI instead of UTC without a problem.