Re: [galaxy-user] Rename tool output file in Galaxy