Oops, ".pythonrc.py" should *always* be marked with \file{}; one occurrance

escaped with \var{}.

Doc/lib/libuser.tex

@@ -35,7 +35,7 @@ generally not a good idea.
 
 A suggestion for programmers who wish to use this mechanism: a simple
 way to let users specify options for your package is to have them
-define variables in their \var{.pythonrc.py} file that you test in
+define variables in their \file{.pythonrc.py} file that you test in
 your module.  For example, a module \code{spam} that has a verbosity
 level can look for a variable \code{user.spam_verbose}, as follows:
 

Doc/libuser.tex

@@ -35,7 +35,7 @@ generally not a good idea.
 
 A suggestion for programmers who wish to use this mechanism: a simple
 way to let users specify options for your package is to have them
-define variables in their \var{.pythonrc.py} file that you test in
+define variables in their \file{.pythonrc.py} file that you test in
 your module.  For example, a module \code{spam} that has a verbosity
 level can look for a variable \code{user.spam_verbose}, as follows: