Re: [galaxy-dev] Compressed data files in Galaxy? (e.g. GZIP or BGZF)