Grünten oder Übelhorn ?

Hallo,
die heute angekündigten Änderungen in der OpenTopoMap haben mich veranlaßt, die Auswirkungen rund um den "Mittag" (bei Immenstadt) anzuschauen. Dabei ist mir aufgefallen, daß der "Grünten" verschwunden ist. Wie ich dann feststellen mußte, wurde der Grünten in diesem Änderungssatz https://www.openstreetmap.org/changeset/52896679 mit der Begründung Der Berg heisst Grünten - aber der Hauptgipfel des Grünten ist das Übelhorn in Überlhorn umbenannt. Das ist laut Wikipedi auch richtig: https://de.wikipedia.org/wiki/Gr%C3%BCnten

Für mich ist das weiterhin der Grünten und sollte auch so in der Karte erscheinen.
Wie ist Eure Meinung dazu ?

Grüße aus Oberschwaben