I'm in favor of a full global switch to TAI. UTC is another good option, but I don't really see the benefit of keeping up with leap seconds considering the comp

I'm in favor of a full global switch to TAI. UTC is another good option, but I don't really see the benefit of keeping up with leap seconds considering the complexity they add. https://en.wikipedia.org/wiki/International_Atomic_Time https://en.wikipedia.org/wiki/International_Atomic_Time