I can upload there again now but not going to do t...

# kobalt

[cedric]

I can upload there again now but not going to do that, I did 2 things to fix: 1) download from github releases and 2) actually download from a virtual URL that I redirect at the http level. This way I can switch the URL without impacting anyone, should this happen again