I cannot check right now but I have no idea what the cause might be either, other than the file being corrupted while download or unpacking.
The problem could be with my internet connection. I’ve tried twice with downloads on different days. Maybe it will be different when I can try a different network.
