deflateoutputstreambuf.h(3) on Linux

The text 88ba5d239609, as Debian 9 (Stretch) shipped it. The page shows this text now.

Header file that defines DeflateOutputStreambuf.