О, классная история. «Ростов Великий» звучит так круто, что многие верят в то, что это историческое название города. Ну да, появилось оно до революции, но в качестве инновации местного краеведа, которая вызывала сопротивление у уважаемых людей эпохи и не прижилась. А вот как раз в советское время это название было популяризовано. Так что мы имеем дело не с возвращением имени, а с приданием официального статуса псевдоисторическому наименованию.

Но главное — чтобы все были довольны. Места там благостные, былинные: Великий так Великий.