Incidentally, 7-zip even has its own format (7z) which in many cases
packs much better than anything else.
Yeah. If someone would like to try 7zipping the TL iso, I'd be
interested to know how it fares, both in how well it compresses and in
decompression time.