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