Re: [galaxy-user] Galaxy in cloud (not Amazon)