1. Downloaded the .zip file.
2. Double-clicked to expand.
3. Somehow, the 212Mb file got overwritten by 728Kb.
No choice but to download again, so I tried on my work machine: 70% later, the disk ran out of space. Argh!
Fortunately, incomplete downloads don't count towards your 3-download quota. Trying again now.