Re: [galaxy-dev] RFC: new param attribute for Galaxy tool XML