Remove all uses of \sectcode; we can now use logical markup everywhere.
diff --git a/Doc/lib/libposixfile.tex b/Doc/lib/libposixfile.tex
index 9ab584b..f3c5d98 100644
--- a/Doc/lib/libposixfile.tex
+++ b/Doc/lib/libposixfile.tex
@@ -1,5 +1,5 @@
 % Manual text and implementation by Jaap Vermeulen
-\section{Standard Module \sectcode{posixfile}}
+\section{Standard Module \module{posixfile}}
 \label{module-posixfile}
 \bimodindex{posixfile}
 \indexii{\POSIX{}}{file object}