I did try running it after unzipping to confirm that it did actually unzip, and it seemed fine. But thanks for checking! I guess it’s not a severe problem, just one that requires special download instructions or else it’s very easily mistaken for a severe problem.