<div dir="ltr"><div dir="ltr">On Wed, 24 Apr 2019 at 10:16, Valor Naram <<a href="mailto:valinora@gmx.net">valinora@gmx.net</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>Deprecating "amenity" would hurt because it's a very important key. But I have some suggestions:<br></blockquote><div><br></div><div>There are cases where amenity is an appropriate tag.  Such as for amenities.</div><div> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">1. Keeping the "amenity" wiki page intact.<br>2. Creating/extending pages for new keys e.g. Key:education<br>3. Suggesting "education=*" instead of "amenity=education" on the "amenity" wiki page.<br></blockquote><div><br></div><div>3.5 Persuading developers of editors to prefer education=* to amenity=* when mappers</div><div>select "school," "university," etc.  Many mappers rely on editor presets and will only over-ride</div><div>what those presets offer if they disagree with the tags the editor gives them.<br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">4. A transition period for changing the database and to aware other mappers of it.<br></blockquote><div><br></div><div>4 is feasible ONLY if the new education=* offers are 1-for-1 correspondence with</div><div>amenity=* for educational facilities.  That is amenity=school can be directly and</div><div> unambiguously replaced with education=* (possibly with sub-tags).  There can be</div><div>no "it depends" situations if a bulk edit is to take place.  Otherwise it would have to be</div><div>done on a case-by-case basis.</div><div><br></div><div>-- <br></div><div>Paul</div><div><br></div><div><br></div></div></div>