- create a hyperlink for a section reference (also more robust in the
face of section re-ordering)
- fix minor markup nits for better presentation
diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
index df7ac70..212dbed 100644
--- a/Doc/ref/ref5.tex
+++ b/Doc/ref/ref5.tex
@@ -63,18 +63,18 @@
\index{name}
\index{identifier}
-An identifier occurring as an atom is a name. See Section 4.1 for
-documentation of naming and binding.
+An identifier occurring as an atom is a name. See
+section~\ref{naming} for documentation of naming and binding.
When the name is bound to an object, evaluation of the atom yields
that object. When a name is not bound, an attempt to evaluate it
raises a \exception{NameError} exception.
\exindex{NameError}
-\strong{Private name mangling:}%
+\strong{Private name mangling:}
\indexii{name}{mangling}%
\indexii{private}{names}%
-when an identifier that textually occurs in a class definition begins
+When an identifier that textually occurs in a class definition begins
with two or more underscore characters and does not end in two or more
underscores, it is considered a \dfn{private name} of that class.
Private names are transformed to a longer form before code is