[groestl]

UTC adds little of value on top of TAI, except some headache for clock synchronization. So I argue for basing timezones directly on TAI, as I see TAI as the least impractical reference.