<div dir="ltr"><div dir="ltr">On Mon, 3 Feb 2020 at 10:37, MARLIN LUKE <<a href="mailto:luke.marlin@viacesi.fr">luke.marlin@viacesi.fr</a>> wrote:</div><div dir="ltr"><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">




<div dir="ltr">"Picnic room" seems to be used by some ski resort in France, and I've seen it on some tourism forums on ski threads so it might at least be understood by english skiers.
</div></blockquote><div><br></div><div>Understood by those English speakers who have used that resort in France or</div><div>read those forums.  Not a good basis for a tag that most will find confusing.<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 dir="ltr"><div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
I'm unsure whether creating something like "indoor_food_consumption" is a good idea if the only usage is for ski resorts and a less-generic name exists.<br></div></div></blockquote><div><br></div><div>I'm hoping somebody will come up with a less generic name.  Or a better name</div><div>than "indoor_food_consumption" that means the same thing.  Failing that,</div><div>"dining_area" is the least bad name I've thought of so far.  Or "eating_area"</div><div>might be better.<br></div><div><br></div><div>-- <br></div><div>Paul</div><div><br></div></div></div>