Sorry I posted a version of session.scm with a prtly fix includedanyway here is a patch where we add allow-other-keys?