[galaxy-commits] commit/galaxy-central: greg: When uploading compressed files to a data library, remove the compressed file extension only if copying files into Galaxy's file store.