(This file public domain.) zip30.tar.xz came from http://www.info-zip.org/Zip.html