-marked document not meant for reading. Rather, a DocBook file is meant
-to be transformed into presentation formats such as HTML, PDF, and
-plain text. To perform such translation, you'll need tools beyond what
-is included in the SBCL distribution:
+marked document not meant for humans to read directly. Rather, a
+DocBook file is meant to be transformed into presentation formats such
+as HTML, PDF, and plain text. To perform such translation, you'll need
+tools beyond what is included in the SBCL distribution: