Some modifications of China related timezone info.

[Robert]

    Date:        Fri, 28 Apr 2006 13:02:16 +0800
    From:        "Zhe Su" <james.su at gmail.com>
    Message-ID:  <278a3d0604272202t58aa5802nf0b11c63bfe110bb at mail.gmail.com>

  |   Following this rule, "Asia/Beijing" should be used instead of
  | "Asia/Shanghai", because more people prefer "Asia/Beijing" in China,
  | as Beijing has more people than Shanghai :-)

If the population of Beijing is greater than that of Shanghai then you're right, the zone name should be changed (with the old one left
as an alias for a while for people who are used to it).   It would
not be the first time that names have changed for this reason (when relative populations of different cities alters).

Of course, if it is a close thing, and it is possible that Shanghai may overtake Beijing again next year (or something) then keeping switching backwards and forwards would be irrational - so just keeping things stable should be better, but if (which I would certainly imagine is possible) that Beijing is simply growing faster than Shanghai and has now grown bigger, the zone name can change.

kre