Re: [galaxy-dev] [galaxy-user] Installing new tools from the tool shed