Perché non cambiare la denominazione ufficiale "Mirelli" in "Repubblica-Mirelli" o solo "Repubblica"? in fondo l'antica famiglia nobiliare "Mirelli" ha già una antica strada intitolata,l'Arco Mirelli e la stazione in questione si trova nel bel centro di Piazza della Repubblica e non in questa via, che è anche stretta e angusta. Aggiungo che la stazione è stupenda ma ho delle perplessità legate a come è stata ridotta la stazione Dante della linea1 dalle creature del degrado e della notte