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