[galaxy-dev] question about galaxy gzip support in upload.py