<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2015-03-01 22:04 GMT+01:00 Bryce Nesbitt <span dir="ltr"><<a href="mailto:bryce2@obviously.com" target="_blank">bryce2@obviously.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">and since nobody is maintaining the denotation tag.</blockquote></div><br>I do use the denotation tag for trees which I add manually. The "cluster" value is not in the set of values I typically use, still I can imagine people using it to determine importance of trees for rendering.<br><br></div><div class="gmail_extra">cheers,<br></div><div class="gmail_extra">Martin<br></div></div>