Re: [galaxy-dev] Displayed versions of tools in Galaxy