Re: [galaxy-user] How to add a tool to Cloud Galaxy