Brought doc.lisp up-to-date with books/system/doc/acl2-doc.lisp.