[galaxy-commits] [hg] galaxy 3702: Fix managing tool categories and separate the ...