Sept. 25, 2010
6:06 a.m.
I remember a discussion on this weird topic a few months ago -- as I recall, the issue is that the same location has two time zones, depending on the ethnic background of the people involved. So there ended up being two names for the place, describing two rules. And the two names are the names for the place in the two languages that are used there.
Then again, it looks like the final result wasn't two rules, but just a pile of comments in the "asia" rule sourcefile, and only the "PRC" rule is actually a live rule.
We did end up with just comments. A proposed change was circulated (2009-11-21); we got feedback that making the change might "somewhat divisive" (2009-11-25), so at least for now there's just the pile of comments. --ado