Oops, ".pythonrc.py" should *always* be marked with \file{}; one occurrance
escaped with \var{}.
2 files changed