[Python-Dev] Re: gzip.py: allow deterministic compression (without time stamp)