manpage-not-compressed

This tag has been renamed to uncompressed-manual-page.