[tz] Change some timezone names

Paul Eggert eggert at cs.ucla.edu
Thu May 26 23:17:02 UTC 2022

Thanks for the UK survey. I'll try to spring some time to look into US 
and other English-language sources. If they've switched that much too 
then we should follow.

More information about the tz mailing list