For lurkers, here’s the Documentation topic on re-compressing ZIP archives to get correctly-structured module files.