Re: [galaxy-dev] configuration management, tool shed and tool revisions