Re: [galaxy-user] Adding new tools in Galaxy