<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2014-12-15 13:31 GMT+01:00 Tom Pfeifer <span dir="ltr"><<a href="mailto:t.pfeifer@computer.org" target="_blank">t.pfeifer@computer.org</a>></span>:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I don't see a need for a new key here.<br>
The properties can be easily modelled with sub-tagging of playground:</blockquote><div><br></div><div>Fully agree.<br></div></div></div></div>