<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Di., 31. Jan. 2023 um 11:16 Uhr schrieb Philip Barnes <<a href="mailto:phil@trigpoint.me.uk">phil@trigpoint.me.uk</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>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></div></blockquote></div><div><br></div><div><br></div><div>practice_pitch is not necessarily the better alternative, it could also be leisure=cricket_nets.</div><div>If "cricket nets" is a sport rather than an infrastructure, it can also remain under the "sport" tag...<br></div><div><br></div><div><br></div></div>