All reports of info-document-not-compressed for the archive. The extended description of this tag is:
Info documents should be compressed with gzip -9n.
Refer to Debian Policy Manual section 12.2 (Info documents) for details.
Severity: important, Certainty: certain
Check: infofiles, Type: binary
This tag has not been emitted in any package tested by Lintian.