Why can't we just switch to TAI for computers and anything electronic everywhere and just use UTC for user visible timestamps?