Manpage tweak for the compression option.