
<html><head></head><body>I am with Dave on this one.<br><br>The tag is clear, concise and intuitive.<br><br>It says exactly what a map user would expect to find <br><br>Changing to practice_pitch with sport=cricket loses the descriptive nature of the current tag. It just becomes where cricket is practiced instead of where there are nets in the real world.<br><br>When a colleague says they are going 'to nets' after work, it is clearly understood.<br><br>Phil (trigpoint)<br><br><div class="gmail_quote">On 30 January 2023 13:54:01 GMT, Illia Marchenko <illiamarchenko92@gmail.com> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div dir="auto"><div dir="auto">Hello everyone,</div><div dir="auto">I suggest deprecating sport=cricket_nets on the wiki and recommend leisure=practice_pitch & sport=cricket as a replacement, since sport=* generally refers to a sport, not a physical infrastructure.</div><div dir="auto">Regards, </div><div dir="auto">Illia. </div></div>

</blockquote></div></body></html>