Re: [galaxy-user] downloading (and renaming) output files from Galaxy public server