Hola Pompilos. 

La fuente principal del nombre es el Nomenclátor General de Aragón.  Puedes consultar aquí los nombres vigentes en la zona: Toponimia de Sahún (Huesca) (https://idearagon.aragon.es/toponimia/t22200.htm) en la pestaña de Ámbito Rural. En una anterior edición tuya (https://www.openstreetmap.org/node/3590823033/history) el Nomenclátor de Navarra te sirvió de base para un cambio de nombre.

Que para ti Google sea un mecanismo cuantificador válido, no quiere decir que lo sea para el resto ni que siquiera lo sea. La prevalencia de un nombre de un pico de dos mil metros es difícil de conocer si no estás en la zona, y me fío más de lo que los propios aragoneses digan a través de sus instituciones que de los resultados de un buscador. O en todo caso antes de realizar estos cambios se debe contactar con la comunidad local.

No hubo ninguna edición destructiva: el nombre Pico Box ya estaba en la correspondiente etiqueta name:es en las versiones anteriores.

Saludos

Jesús López
OpenStreetMap Foundation
Data Working Group