3 ms·

Yeah, probably so at the cost of compatibility. As implemented, the .gz file can be used with `gzip -d`.