Refresh docs

doc/racket-mode.texi

@@ -3557,7 +3557,11 @@ restart by using @code{racket-start-back-end}.
 @node racket-pretty-print
 @subsection racket-pretty-print
 
-Use pretty-print instead of print in REPL@?
+Use pretty-print instead of print?
+
+Sets the global-port-print-handler to use pretty-print, which is
+suitable for s-expressions. Note a language may override this --
+for example to implement pretty printing for another syntax
 
 @node racket-repl-command-file
 @subsection racket-repl-command-file
@@ -4417,7 +4421,7 @@ Face @ref{racket-repl-mode} uses for prompts.
 @node racket-repl-value
 @subsection racket-repl-value
 
-Face @ref{racket-repl-mode} uses for values output by current-print.
+Face @ref{racket-repl-mode} uses for @code{print}-ed values.
 
 @node racket-repl-error-message
 @subsection racket-repl-error-message