<div dir="ltr"><div dir="ltr">Well, at least I <i>meant </i>to send that to license-discuss. Copy re-posted there, don't reply to this thread.</div><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><br></div></div></div>