Re: [galaxy-dev] add a tool to galaxy