I'm not aware of a problem with the zip, but I'm uploading a new version right now anyway, so if the previous zip wasn't packed or uploaded correctly, it should get fixed. I'll make a devlog post once the upload for version 23.11.23 is done and available.
