Tutorial data not a recognised zip format

[JosieLikesCats]

Hi Tractor team,

I just wanted to flag that the tutorial data zipfile doesn't seem to download correctly within the tutorial repo. I tried downloading the whole repo from the GitHub page, and using Git clone. In both instances, the tutorial-data.zip file is only 134 bytes and cannot be unzipped by unzip, gunzip, or tar. The errors given are as follows:

• unzip: Archive: tutorial-data.zip End-of-central-directory signature not found. Either this file is not a zipfile, or it constitutes one disk of a multi-part archive. In the latter case the central directory and zipfile comment will be found on the last disk(s) of this archive. unzip: cannot find zipfile directory in one of tutorial-data.zip or tutorial-data.zip.zip, and cannot find tutorial-data.zip.ZIP, period.
• gunzip (with .zip suffix specified, or when renamed to .gz file): tutorial-data.zip: not in gzip format
• tar: Error opening archive: Unrecognized archive format

I was able to get around this by opening the tutorial-data.zip file within the repo and selecting "download raw file" - this downloads a ~158 Mb file that can then be correctly unzipped using unzip.

I tried the above on my laptop (M1 MacBook Pro, running Ventura) and on a remote cluster (Linux). Neither were able to unzip the downloaded file as-is (although I didn't try cloning directly from the server, I copied the directory across from my laptop).

Let me know if any other info would be helpful!