Hola, Jesús. 
Como no soy usuario avanzado de OSM, no pude consultar a la comunidad, que busqué antes de hacer la edición y no encontré aquí: https://www.openstreetmap.org/communities. Tampoco encuentro una página de «Discusión» ni «Historial» asociados al concreto punto de Pico Box. ¿Dónde puedo consultar las versiones anteriores a las que te refieres? Sobre el uso del Nomenclátor, como tampoco encuentro el historial de mis propios cambios, no puedo saber a qué te refieres. Sí recuerdo haber usado el Nomenclátor de Navarra para corregir un error ortográfico (yo se lo señalé al Gobierno de Navarra, ellos los corrigieron y luego yo me referí al Nomenclátor corregido gracias a mi indicación). Que yo sepa en Pico Boix no hay ninguna duda ortográfica. Por último, sobre la prevalencia de un nombre tienes razón en que hay que ir a los sitios: yo he ido a la zona, y ahí la lengua mayoritaria es el español. Me parece ingenuo por tu parte que quieras usar el Nomenclátor como equivalente a «lo que los propios aragoneses digan»; como sabrás, el Nomenclátor puede hacer oficial el nombre aragonés aunque no se hable a día de hoy aragonés en la zona debido a una pacto de legislatura con un partido nacionalista. Y en OSM hemos definido «Nombre principal» no como sinónimo de nombre oficial, sino de «el nombre más prominente o el nombre más común en el idioma o idiomas locales», que en este caso es el español. 