If they don't want to bother with leap seconds, why are they even using UTC? Why can't they just use TAI instead?