Hi, I downloaded lispy-box-9.12 and installed it on SBCL. The instructions in the manual is missing a step -> Add the signing key. This is present in the main page at http://common-lisp.net/project/lispy/ but it will help if it could be in the manual as well. -- Sid