Make documentation refer to the "DEFLATE" RFC.