Use 7-zip for higher compression

Standard .ZIP files are universally recognized, but the compression rate is low. So you may find that there’s not much …