IMDI.session: New method to make session names sane