[galaxy-dev] Displayed versions of tools in Galaxy