Oh it's available on Github? Yeah, that would probably be preferable - we've had to change the Sourceforge mirror a couple times when one of them has gone down.