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.