That is the logic for using city-based timezone names rather than countries. Country borders change but cities tend to be more stable.

Someone must have complained about `China/Hong Kong` to cause this change.

Istanbul's not Constantinople.

The laws of the country can affect what timezone is used.