Re: [galaxy-dev] Inconsistent menus in Galaxy Tool Shed