Volendo puoi commentare il changeset che ha aggiunto questa nota qua: https://www.openstreetmap.org/changeset/169026746

Detto ciò, che sia giusto uno o l'altro, secondo me la versione sbagliata andrebbe aggiunta quantomeno come alt_name, visto che a quanto pare sono diffuse entrambe le versioni.

#remindme 2025-12-17