Remove all uses of \sectcode; we can now use logical markup everywhere.
diff --git a/Doc/libmacostools.tex b/Doc/libmacostools.tex
index 8475522..9586285 100644
--- a/Doc/libmacostools.tex
+++ b/Doc/libmacostools.tex
@@ -1,4 +1,4 @@
-\section{Standard Module \sectcode{macostools}}
+\section{Standard Module \module{macostools}}
\label{module-macostools}
\stmodindex{macostools}
@@ -47,7 +47,7 @@
the Apple documentation. Hence, aliases created with \function{mkalias()}
could conceivably have incompatible behaviour in some cases.
-\section{Standard Module \sectcode{findertools}}
+\section{Standard Module \module{findertools}}
\label{module-findertools}
\stmodindex{findertools}