От вам оно выпало как мы свои города называем? Кто-то из отписавшихся знает без помощи гугла и вики кто такой тов.Петровский? Не? И в Днепре(быв.Днепропетровск) тоже никто особо не в курсе кто он. Город давно так называли в разговорной речи и просто привели это к современной реальности.
Или когда Ленинград стал Питером, Горький - Н.Новогородом, Сталинград - Волгоградом, Свердловск - Екб, вам с Украины или откуда-то еще писали что не так назвали и не правильно а надо так то и так?