On Sun, 24 Apr 2022 at 22:03, Oren Tirosh firstname.lastname@example.org wrote:
The short names for time zones are not globally unique. The most you can expect from them is for the short names of the local time zones to be different for DST and non-DST and distinct from UTC/GMT.
I’m not even sure if they are guaranteed to be different from the US time zone names which are often hard-wired for legacy support (e.g. in email/_parseaddr.py for rfc2822 timestamps).
They're not. China Standard Time (Asia/Shanghai, I think?) conflicts with Central Standard Time (America/Chicago).