Re: [galaxy-dev] which galaxy to use?