micropython-lib/gzip
..
gzip.py
setup.py