It's because the .zip file is actually a RAR Archive and not a ZIP Archive. Luckily 7-zip can handle both and can extract it even the filename extension is wrong.
Thanks for letting me know, everyone! This should now be fixed for all future downloads.
