[galaxy-dev] Inconsistent menus in Galaxy Tool Shed