Re: [galaxy-dev] Adding tool to Galaxy