> If we can’t throw off the oppression of UTC and greet TAI as liberators, at least adjust the clock at regular, very infrequent dates.

Why not just use TAI for almost everything and leave UTC (including regular leap seconds) for applications that need it?