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