<div dir="ltr"><div dir="ltr">On Mon, 28 Oct 2019 at 17:17, Kevin Kenny <<a href="mailto:kevin.b.kenny@gmail.com">kevin.b.kenny@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">On Mon, Oct 28, 2019 at 10:54 AM Tom Pfeifer <<a href="mailto:t.pfeifer@computer.org" target="_blank">t.pfeifer@computer.org</a>> wrote:<br>
> >>> type=destination_sign + amenity=hospital"<br>
> >>> <a href="https://wiki.openstreetmap.org/wiki/Relation:destination_sign" rel="noreferrer" target="_blank">https://wiki.openstreetmap.org/wiki/Relation:destination_sign</a><br>
<br>
I concur with all those who said this is a horrible idea.<br></blockquote><div><br></div><div>So far I've resisted the temptation to agree this is a horrible idea because it so obviously is</div><div>a horrible idea that I'd just be adding noise to the list.  I've seen nobody say that it's not a</div><div> horrible idea.  There's only one person who might disagree with changing the wiki and the</div><div> overwhelming consensus is against him/her.  So somebody please fix the wiki.  </div><div><br></div><div>-- <br></div><div>Paul</div><div><br></div></div></div>