file-should-not-be-compressed

This tag has been renamed to compressed-documentation.