Why are the binary releases hosted on a 3rd party site and not on Github?