homepage

I have a file whose first four bytes are 1F 8B 08 00 and if I use gunzip from the command line, it outputs:
gzip: zImage_extracted.gz: decompression OK, trailing garbage ignored
and correctly decompresses the file. However, if I use the gzip module to read and decompress the data, I get the following exception thrown:
 File "/usr/lib/python3.4/gzip.py", line 360, in read
 while self._read(readsize):
 File "/usr/lib/python3.4/gzip.py", line 433, in _read
 if not self._read_gzip_header():
 File "/usr/lib/python3.4/gzip.py", line 297, in _read_gzip_header
 raise OSError('Not a gzipped file')
I believe the problem I am facing is the same one described here in this SO question and answer:
http://stackoverflow.com/questions/4928560/how-can-i-work-with-gzip-files-which-contain-extra-data
This would appear to be serious bug in the gzip module that needs to be fixed.