Thanks for reversing this.

Any objection to me moving the pub's tags from the building to the property boundary? It's reasonably clear where that is from Bing aerial imagery and the Land Registry polygons. That should remove the tedious interference with the building polygon.

I have suggested that the other @OHirschfield might want to ask for advice about their Overpass problems on the OSM Community website.

Mapping for the renderer is bad enough, but mapping for a single query?!