Did anyone else trip over the unclear usage of ZIP? Z-machine program files and PKZIP files share the .zip file extension, but not file formats.
Modern Z-machine programs typically use extensions like .z3, .z5, and .z8 for Z-machine programs (with the digit depending on the version of the VM used). I've only seen .zip used within Infocom, before PKZIP was a thing.