Re: [galaxy-dev] Migrating a galaxy installation?