Re: [galaxy-dev] Opening Galaxy with a specified History Name