Hi,
Yes the file is a zip file and contains nothing to worry about.
Our system will not accept any non zip uploads. Our server will also automatically detect and remove any files that contain viruses.
If you look at the file link on the page you will see it is a zip file.
I have downloaded it and checked it out. Scanned with McAfee and Malwarebytes. Both clean.
If you are still having a problem I suggest you run a virus scan and malware scan.
Your anti virus should detect and problem before any damage can be done.
But I can assure you no bad files will be found on this site.