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

I can’t tell whether you’re joking. Seems like a distinct possibility now.