This is was to more tightly compact lots of random zip files I have in various places, and to stop Windows not helpfully searching them slowly whenever I did a search (I bet I can disable it, but it is useful for some vary limited amount of zip files).
So, I forayed into creating a batch file to recompress lots of zip or rar files into the slightly higher compressed 7zip format.
