No matter...the server returned to the selection page, so I tried to see if I could urge the download into continuing by reclicking the download, but all it did was restart it from scratch. And, of course, it was downloading perfectly smoothly this time. An entire night of downloading lost...

Maybe I can do something with that .part file...