Ian Price <ianpric...@googlemail.com> skribis:
> +The procedures of this module allow you to spawn a @dfn{REPL server},
Add “@cindex REPL server” just above.
> +which permits interaction over a local or TCP connection. Guile itself
> +uses them internally to implement the @option{--listen} switch, see
> +@ref{Command-line Options}.
Remove “see”.
Other than that, OK to push.
Thanks!
Ludo’.
