Buenos dias.

La casa cuartel ya está mapeada como una vía cerrada a lo largo de su contorno y etiquetada como «police=barracks»: https://www.openstreetmap.org/way/140993945

Las instalaciones incluyen además un cuartel de la Guardia Civil con funciones propias de comisaría de policía, mapeado como un nodo y etiquetado como «amenity=police»: https://www.openstreetmap.org/node/6916192664

Gracias por la nota.

Sobre el uso de notas: https://wiki.openstreetmap.org/wiki/ES:Notas