Minor tweak as a side effect of fixing #1243553. The Unicode name for " is
'quotation mark', so I decided to use it instead of 'double-quote'.
diff --git a/Doc/lib/libcgi.tex b/Doc/lib/libcgi.tex
index f2f968f..96b4ec4 100644
--- a/Doc/lib/libcgi.tex
+++ b/Doc/lib/libcgi.tex
@@ -404,7 +404,7 @@
\character{\&}, \character{<} and \character{>} in string \var{s} to
HTML-safe sequences. Use this if you need to display text that might
contain such characters in HTML. If the optional flag \var{quote} is
-true, the double-quote character (\character{"}) is also translated;
+true, the quotation mark character (\character{"}) is also translated;
this helps for inclusion in an HTML attribute value, as in \code{<A
HREF="...">}. If the value to be quoted might include single- or
double-quote characters, or both, consider using the