manpage-not-compressed-with-gzip

This tag has been renamed to wrong-compression-in-manual-page.