Minor :doc updates (a couple for WATCH from Boyer); synched doc.lisp.