Remove all uses of \sectcode; we can now use logical markup everywhere.
diff --git a/Doc/lib/libgl.tex b/Doc/lib/libgl.tex
index de429ac..abbaf10 100644
--- a/Doc/lib/libgl.tex
+++ b/Doc/lib/libgl.tex
@@ -1,4 +1,4 @@
-\section{Built-in Module \sectcode{gl}}
+\section{Built-in Module \module{gl}}
\label{module-gl}
\bimodindex{gl}
@@ -183,7 +183,7 @@
main()
\end{verbatim}
%
-\section{Standard Modules \sectcode{GL} and \sectcode{DEVICE}}
+\section{Standard Modules \module{GL} and \module{DEVICE}}
\nodename{GL and DEVICE}
\stmodindex{GL}
\stmodindex{DEVICE}