Cleaning up the Quicklisp documentation