<div dir="ltr"><div dir="ltr">On Thu, 26 Sep 2019 at 17:14, Andy Townsend <<a href="mailto:ajt1047@gmail.com">ajt1047@gmail.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<a href="https://map.atownsend.org.uk/maps/map/map.html#zoom=20&lat=52.0802094&lon=-4.660442" rel="noreferrer" target="_blank">https://map.atownsend.org.uk/maps/map/map.html#zoom=20&lat=52.0802094&lon=-4.660442</a><br>
<br>
Works for me.</blockquote><div><br></div><div>That works.  Makes it explicit for somebody who goes to a pub guide website (there are many),</div><div>spots this one then looks at OSM to find it.  It's not a pub any more.  Otherwise it's possible</div><div>to conclude that somebody mapped the building outline but didn't know it was a pub.  This makes</div><div>it clear that whoever mapped it knew that it used to be a pub.</div><div><br></div><div>Actually, given my crappy eyesight and monitor, I'd make the X bigger than the glass.  Or make</div><div>it a red diagonal line.  "THIS IS NOT a pub" rather than "This is not A PUB."<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">  I might be tempted to keep the "name" set (or perhaps <br>
"old_name") if there's still a sign outside, since I think it's <br>
reasonable to think of that as the building or old pub name.<br></blockquote><div><br></div><div>As is the case with some other pubs I've mapped that have closed and been turned into</div><div>residences, the official address retains the pub name.  That is a house called The Castle</div><div> Inn.</div><div><br></div><div>-- <br></div><div>Paul</div><div><br></div></div></div>