[@RockFox]
I had posted that the ZIP files was empty. Later I tried a different browser and the ZIP file downloaded fine.
I was using Firefox and I did not notice this little message: “This file is not commonly downloaded.”
When I gave it another try I did notice the message and I expanded it: “This file is not commonly downloaded and may not be safe to open. It may contain a virus or make unexpected changes to your programs and settings.
You can search for an alternate download source or try again later.”
The default response is “Remove File” Click on “Allow Download” and everything is fine.
This must be something new in Firefox.