Documented pipeline_gzip config option