[crote]

Which leads to another interesting question: are we going to sync up UTC and TAI, or do we just have to live with a completely arbitrary several-second offset for all eternity?