Remove all uses of \sectcode; we can now use logical markup everywhere.
diff --git a/Doc/lib/libpanel.tex b/Doc/lib/libpanel.tex
index 57b8e4f..3553808 100644
--- a/Doc/lib/libpanel.tex
+++ b/Doc/lib/libpanel.tex
@@ -1,4 +1,4 @@
-\section{Standard Module \sectcode{panel}}
+\section{Standard Module \module{panel}}
\label{module-panel}
\stmodindex{panel}
@@ -29,7 +29,7 @@
or
\code{panel.defpanellist()}.
-\section{Standard Module \sectcode{panelparser}}
+\section{Standard Module \module{panelparser}}
\label{module-panelparser}
\stmodindex{panelparser}
@@ -45,7 +45,7 @@
For more details, read the module file.
% XXXXJH should be funcdesc, I think
-\section{Built-in Module \sectcode{pnl}}
+\section{Built-in Module \module{pnl}}
\label{module-pnl}
\bimodindex{pnl}