Re: [galaxy-dev] [galaxy-user] Using Galaxy Cloudman for a workshop