Always mark variables in the "Notes" following a table the same way as in the
tables:  \var{}

Add a couple of index entries to the File Objects section.
diff --git a/Doc/lib/libtypes.tex b/Doc/lib/libtypes.tex
index 8dba8a5..ed0ed9b 100644
--- a/Doc/lib/libtypes.tex
+++ b/Doc/lib/libtypes.tex
@@ -545,7 +545,7 @@
 
 \item[(2)] Keys and values are listed in random order.
 
-\item[(3)] \code{b} must be of the same type as \code{a}.
+\item[(3)] \var{b} must be of the same type as \var{a}.
 
 \item[(4)] Never raises an exception if \var{k} is not in the map,
 instead it returns \var{f}.  \var{f} is optional, when not provided
@@ -666,6 +666,8 @@
 \code{posix.fdopen()} and the \code{makefile()} method of socket
 objects.
 \bifuncindex{open}
+\refbimodindex{posix}
+\refbimodindex{socket}
 
 When a file operation fails for an I/O-related reason, the exception
 \code{IOError} is raised.  This includes situations where the
diff --git a/Doc/libtypes.tex b/Doc/libtypes.tex
index 8dba8a5..ed0ed9b 100644
--- a/Doc/libtypes.tex
+++ b/Doc/libtypes.tex
@@ -545,7 +545,7 @@
 
 \item[(2)] Keys and values are listed in random order.
 
-\item[(3)] \code{b} must be of the same type as \code{a}.
+\item[(3)] \var{b} must be of the same type as \var{a}.
 
 \item[(4)] Never raises an exception if \var{k} is not in the map,
 instead it returns \var{f}.  \var{f} is optional, when not provided
@@ -666,6 +666,8 @@
 \code{posix.fdopen()} and the \code{makefile()} method of socket
 objects.
 \bifuncindex{open}
+\refbimodindex{posix}
+\refbimodindex{socket}
 
 When a file operation fails for an I/O-related reason, the exception
 \code{IOError} is raised.  This includes situations where the