Re: [galaxy-dev] Questions regarding updating the Galaxy on Amazon AWS