Hola Pompilos. Estas modificaciones no son correctas. Por un lado, un buscasdor no es indicativo de nada en lo que se refiere al nombre de un lugar (como bien dice garaolaza) y además es una fuente que no se puede utilizar en OSM. 

Por otro, has realizado un cambio significativo sin contar con la comunidad de mapeadores de la zona ni con quienes previamente realizaron los cambios, que ya llevan tiempo en el mapa y pueden indiucir a error a las personas que los usan habitualmente.

Por lo que veo, el nombre fue adoptado por el gobierno aragonés, y el etiquetado anterior estaba correcto, el nombre del pico que propones debe aparecer con la etiqueta name:es.

Si no tienes nada que objetar, revertiré estos cambios.

Jesús López
OpenStreetMap Foundation
Data Working Group