breu , I'm not sure if this is a problem for everyone or just a problem for me, but I am getting an error when trying to extract that zip file using the Windows Explorer to extract the file:
I was able to use 7-Zip to extract the file. If anyone else using Windows is having trouble extracting it, try 7-Zip.
Thank you patrick2099 Winzip can cause some troubles indeed..
Hereby the link for 7-zip: https://www.7-zip.org/