Hola Rulmo. He revertido el cambio. Tal y como señala David Rubquín el nombre figura en el Boletín Oficial Del Principado De Asturias núm. 56 de 21-III-2019. Las otras etiquetas pueden figurar como loc_name (si es el que usan en el pueblo) o en sus respectivos idiomas (si es que tienen uso documentado).

Saludos

Jesús López
OpenStreetMap Foundation
Data Working Group