Hola VLanzarote,
gracias por editar, hay un consenso sobre las abreviaturas en los name, en el caso de
"name"="Instituto de Educación Secundaria Lobetano"
"short_name"="IES Lobetano"
es correcto tenerlo separado con sus respectivos tags
en
https://www.openstreetmap.org/way/334038999/history
tienes más información al respecto en
https://wiki.openstreetmap.org/wiki/ES:Buenas_pr%C3%A1cticas_en_Espa%C3%B1a#Name_con_abreviaturas
Dime que opinas, saludos