<div dir="ltr"><div dir="ltr">On Fri, 28 Dec 2018 at 16:42, Hufkratzer <<a href="mailto:hufkratzer@gmail.com">hufkratzer@gmail.com</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">I douibt that the description of the tag building=pavilion on its wiki <br>
page as  "A building providing facilities for users of sports grounds" <br>
is correct.</blockquote><div><br></div><div>It is correct.  For small values of correct.</div></div><div class="gmail_quote"><br></div><div class="gmail_quote">There are many meanings of "pavilion" but in the UK (remember, OSM uses British English)</div><div class="gmail_quote">"pavilion", without qualification or context, would most probably bring to mind a sports pavilion</div><div class="gmail_quote">of some sort.  More specifically, a cricket pavilion.  The wikipedia article mentions sports</div><div class="gmail_quote">pavilions and cricket pavilions.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Firstly, the usage in the wiki isn't incorrect.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Secondly, building=pavilion has mostly been used for sports pavilions, so it's too late to</div><div class="gmail_quote">redefine it.  All that could be done is deprecate it and offer sports_pavilion as well as other</div><div class="gmail_quote">types of pavilions as alternatives.  Good luck with that.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Thirdly, in the sense you want to use it, almost anything could qualify.  A garage.  A garden shed.</div><div class="gmail_quote">A dog kennel.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Best to let sleeping dogs lie in their pavilions.</div><div class="gmail_quote"><br></div><div class="gmail_quote">-- <br></div><div class="gmail_quote">Paul</div><div class="gmail_quote"><br></div></div>