The real annoyance for me is that the 7zip program's extraction mechanism (for all the formats it supports) writes the uncompressed data twice, and in the penul

The real annoyance for me is that the 7zip program's extraction mechanism (for all the formats it supports) writes the uncompressed data twice, and in the penultimate step is using 2x the space. It's just like a naive compressed tar extractor.