
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 12pt; font-family: Verdana,Geneva,sans-serif'>

<p>2020-02-03 13:17 skrev Paul Allen:</p>

<blockquote type="cite" style="padding: 0 0.4em; border-left: #1010ff 2px solid; margin: 0">

<div dir="ltr">[...]

<div class="gmail_quote">

<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.</div>

</div>

<div class="gmail_quote"> </div>

</div>

</blockquote>

<p>I am fairly sure that I have seen "picnic area" in some London museums. At least the Science Museum uses the phrase on their web site.</p>

<p><br /></p>

</body></html>