[vianchen]

Because HK is highly autonomous. If say mainland China decides to observe different time zones, Asia/Shanghai and Asia/Hong Kong would diverge. Of course, that is very unlikely to happen in the foreseeable future.