Если я правильно понимаю, изменения в названия топонимов могут вноситься как восстановление исторического названия либо по требованию жителей города. Кроме того, если брать во внимание не только желание, но и причину, дискуссии разгораются обычно по вопросам политическим, культурным и прагматическим. В данном случае политикой, слава Богу, и не пахнет и, с точки зрения истории или культуры, особой ценности в названии нет, а с прагматичной точки зрения, какой смысл в переименовании. Проще не обращать внимание на результат разбухшего тщеславия человека. Историческая справедливость восстановится со временем сама.