[Alan Anderson]

Using the special download program, I got a badly corrupted triple-size file at the end of the process. I then made sure my laptop wasn't going to go to sleep overnight and had it download the .zip file directly, which worked fine.