Clarify that GzipFile.read1() is now implemented