Re: [Python-ideas] Gzip and zip extra field