Added manual, tweaked session.scm to use dbi