<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2015-03-18 3:48 GMT+01:00 Bryan Housel <span dir="ltr"><<a href="mailto:bryan@7thposition.com" target="_blank">bryan@7thposition.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">(IMO the “Bender’s Corner” hamlet should probably just be deleted outright.  I live near it and there really is no such thing.)</blockquote></div><br><br>or maybe keep it as a historical place name, something like place=locality and old_name="Bender's Corner"? I agree that this is something local mappers with local knowledge should decide upon.<br><br></div><div class="gmail_extra">Cheers,<br></div><div class="gmail_extra">Martin<br></div></div>