AMK's megapatch:
* \bcode, \ecode added everywhere
* \label{module-foo} added everywhere
* A few \seealso sections added.
* Indentation fixed inside verbatim in lib*tex files
diff --git a/Doc/libhtmllib.tex b/Doc/libhtmllib.tex
index bf57ea9..aaa2072 100644
--- a/Doc/libhtmllib.tex
+++ b/Doc/libhtmllib.tex
@@ -1,4 +1,5 @@
\section{Standard Module \sectcode{htmllib}}
+\label{module-htmllib}
\stmodindex{htmllib}
\index{HTML}
\index{hypertext}
@@ -38,11 +39,11 @@
unprocessed data, call the \code{close()} method.
For example, to parse the entire contents of a file, use:
-\begin{verbatim}
+\bcode\begin{verbatim}
parser.feed(open('myfile.html').read())
parser.close()
-\end{verbatim}
-
+\end{verbatim}\ecode
+%
\item
The interface to define semantics for HTML tags is very simple: derive
a class and define methods called \code{start_\var{tag}()},