<div dir="ltr">Hi,<br><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="background-color:#fff"><div><div><div><p>
No!  It's great to *have* a github repo, but since we're talking about <br>
long-term stuff, let's not make the *main* starting point a page on the <br>
commercial site that's flavour of the month at the moment, no matter how <br>
good it is.</p></div></div></div></div></blockquote>I do also vote for the GitHub repo.<br><br></div><div class="gmail_quote">-- baltasar<br><br></div></div></div>