-The @code{sb-aclrepl} module offers an AllegroCL style Read-Eval-Print
-Loop for SBCL. An AllegroCL style inspector is integrated. Adding an
-AllegroCL style debugger is planned.
+@c FIXME: I wanted to use @registeredsymbol{}, but that's
+@c only available in Texinfo 4.7. sigh.
+The @code{sb-aclrepl} module offers an Allegro CL-style
+Read-Eval-Print Loop for SBCL, with integrated inspector. Adding a
+debugger interface is planned.