Racja, już koryguję

Tylko uchwała rady miasta weszła prawomocnie w życie już w grudniu także w tej sytuacji myślę, że przez ten tydzień może to zostać już tak jak jest (podobna sytuacja była w Gliwicach i tam zmiany weszły od razu z uchwałą i nie czekano na ruch ZTM).
Co do old_name to nie wiedziałem, że tak się robi więc w wolnym czasie to uzupełnię

Teoretycznie już nie powinni go uruchamiać jak stałe przystanki są gotowe

Używanie junction=yes do oznaczania nazw rond to dość powszechna praktyka nawet wśród doświadczonych maperów (patrz ronda w takich miastach jak Warszawa czy sąsiednie Zabrze) zatem nie widzę powodu do usuwania całych edycji.
Ponadto junction=yes używane do nazywania rond nie jest tagowaniem pod rendem bo nie jest wprowadzeniem w błąd (nadal jest to skrzyżowanie więc jest to zgodne z prawdą).

A faktycznie jest. Budynek po muzeum jednak faktycznie należy do metropolii teraz i z tego co pamiętam jej siedzibą miała się tam znajdować. Widocznie miałem błędne i formacje.