Garaolaza, la diferencia entre «no estoy de acuerdo con» y «me parecen penosas» reside en la educación que te ha faltado. Respecto a los argumentos, dices bien «los pastores que vivían ahí» en pasado, porque hoy quienes viven ahí son sus hijos y nietos, que hablan mayoritariamente castellano/español. El benasqués lo hablan hoy unas 1000 personas (según WP:ES), frente a un número muy superior de hablantes de castellano/español. Así que las lenguas locales son el español (muy por delante) y el aragonés (muy por detrás), salvo que en OpeStreetMap se haya votado que las lenguas locales son las de los antepasados de los habitantes actuales, y no las de estos. Garaolaza y Jeslop, coincido con ambos en que Google no es perfecto, pero sí opino que es el único mecanismo cuantificador que tenemos a mano para conocer la prevalencia del uso de un topónimo sobre otro; si tenéis a mano otro indicador de prevalencia mejor, no tengo inconveniente en adoptarlo. Por último queda por dilucidar si por lengua local, si la del Valle de Benasque o la de Huesca, o la de Aragón, en cuyo caso el porcentaje de uso de aragonés mermará dramáticamente. Jeslop, soy usuario avanzado de Wikipedia, no de OSM, y no he encontrado, aunque lo busqué, el historial del punto ni su página de discusión. Si, como tengo entendido, los editores cambiaron «Pico Box» por «Tosal de Bocs», se trató de una edición destructiva, porque borró el nombre en español, en lugar de sumar a este el aragonés. Respecto a lo que haya decidido el Gobierno de Aragón (¿tienes la fuente?), eso será pertinente para conocer el nombre oficial, pero el ítem «Nombre principal», según se despliega al presionar «I» no es necesariamente el oficial, sino «El nombre principal: en general, el nombre más prominente o el nombre más común en el idioma o idiomas locales.»