zip archives into 7z format

Big ZIP archives often take up more space than needed. Converting them into 7z format is a good idea because 7z usually gives better compression. The manual method would be to extract everything and then create a new 7z, but that’s slow if the file is huge. A faster option is to use a dedicated...