Re: [galaxy-dev] Installed tool invisible in Galaxy