RE: https://mastodon.social/@hsivonen/116335132354522073

So, now, there’s going to be two different “Pacific Standard Times”.

Best to stick to the Olsen Database standard of using «continent»/«city» for time zone names.