[galaxy-dev] Opening Galaxy with a specified History Name -- how to convert the clear text history id to an encrypted id?