* ext.tex: did most of the tedious changes from plain ASCII text to LaTeX.
* text2latex.py: automatically put function names in \code{}.
* lib.tex, ref.tex, ext.tex, qua.tex, tut.tex: use new P.O.Box number in
  address.
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index bb00ab3..86784da 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -7,8 +7,8 @@
 
 \author{
 	Guido van Rossum \\
-	Dept. CST, CWI, Kruislaan 413 \\
-	1098 SJ Amsterdam, The Netherlands \\
+	Dept. CST, CWI, P.O. Box 94079 \\
+	1090 GB Amsterdam, The Netherlands \\
 	E-mail: {\tt guido@cwi.nl}
 }