<div dir="ltr"><div class="gmail_extra">Yeah, that repository is going away. Eventually I'll move this new version to git hub, after a bit more internal testing. In the meanwhile I'm hosting a private git server and if anyone wants to test they can send me a request with their preferred username/password and I'll respond with the git server location.</div></div>