Python includes a built-in `gzip` module which since Python 3.2 supports [`gzip.compress(…)`](https://docs.python.org/3/library/gzip.html#gzip.compress). Do you think it would make sense to allow on the fly gzip encoding?