<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Nov 3, 2013 at 11:58 PM, fly <span dir="ltr"><<a href="mailto:lowflight66@googlemail.com" target="_blank">lowflight66@googlemail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I wonder if we should not use leisure in general and try to avoid<br>
amenity. At least for new tags and tags with low numbers leisure=*<br>
should be used.<br></blockquote></div><br>+1<br><br></div><div class="gmail_extra">To spur the discussion on which key to use here are some numbers from Taginfo for the value *=casino:<br><br></div><div class="gmail_extra">
amenity=casino/Casino   1123<br></div><div class="gmail_extra">lesiure=casino   69<br></div><div class="gmail_extra">gambling=casino   60<br></div><div class="gmail_extra">shop=casino/Casino   25<br></div><div class="gmail_extra">
tourism=casino/Casino = 11<br>amusement=casino   1<br></div><div class="gmail_extra">attraction=casino   1<br></div><div class="gmail_extra">entertainment=casino   1<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">
amenity=casino is the most used tag by far, but I think that is because amenity=* seems to be the default key for any undocumented object and not because amenity=casino is the best tag to use.<br></div></div>