It's just using regular gzip. I'm sure I could do more work to further compress the files, but for the time being, I just wanted to get something out to show pe

It's just using regular gzip. I'm sure I could do more work to further compress the files, but for the time being, I just wanted to get something out to show people, rather than optimize prematurely. :)