If you look at the difference in gzipped size, there is not so much difference. Is it all really worth it? The way gzip works means that a repetitive sequence of newlines and tabs will likely be only one char in the final output.