[Richard Stallman] Please help check the Lisp manual