>Тогда же, кстати, Невский проспект официально переименовали в проспект
>25 октября, причём название это никто так и не отменял.
Отменял. "13 января 1944 года большой группе старинных улиц и площадей были возвращены исторические названия. Проспект 25 Октября снова стал Невским, проспект Володарского - Литейным, площадь Урицкого - Дворцовой, проспект Ленина - Пискаревским..." и т.д.
