hmm, it still seems to be having issues downloading. I wonder if I'm blocked for some reason. A manual wget succeeds.

I'll have to so some debugging.

Bok