0.5.17.zip "can't be opened as an archive"

[Ranzionu]

When trying to unpack redscript-v0.5.17.zip ( https://github.com/jac3km4/redscript/releases/tag/v0.5.17 ) I get said error message from 7zip. When opening it in the Windows Explorer it's empty. When using the built-in Windows11 extraction prompt an error shows saying "The ZIP folder is empty".

Edit:
I've been downloading over a dozen mods and it worked fine so far, but whether I download the redscript from github or nexusmods, the file is 0kb and empty. Downloaded it again via Microsoft Edge browser and it works fine. Not sure what Firefox was doing there.