Remove all uses of \sectcode; we can now use logical markup everywhere.
diff --git a/Doc/lib/libtermios.tex b/Doc/lib/libtermios.tex
index 05f7371..5e2ce1e 100644
--- a/Doc/lib/libtermios.tex
+++ b/Doc/lib/libtermios.tex
@@ -1,4 +1,4 @@
-\section{Built-in Module \sectcode{termios}}
+\section{Built-in Module \module{termios}}
\label{module-termios}
\bimodindex{termios}
\indexii{\POSIX{}}{I/O control}
@@ -92,7 +92,7 @@
return passwd
\end{verbatim}
-\section{Standard Module \sectcode{TERMIOS}}
+\section{Standard Module \module{TERMIOS}}
\label{module-TERMIOSuppercase}
\stmodindex{TERMIOS}
\indexii{\POSIX{}}{I/O control}