E info-document-not-compressed-with-gzip

Info documents should be compressed with gzip -9n. This file ends in .gz but doesn't appear to be a gzip-compressed file.