Revise the deprecation note for the whrandom module to be correct and a
little more formal.
diff --git a/Doc/lib/libwhrandom.tex b/Doc/lib/libwhrandom.tex
index cc00f19..41b0c83 100644
--- a/Doc/lib/libwhrandom.tex
+++ b/Doc/lib/libwhrandom.tex
@@ -4,8 +4,12 @@
\declaremodule{standard}{whrandom}
\modulesynopsis{Floating point pseudo-random number generator.}
-\strong{Note:} This module is an implementation detail of the
-\refmodule{random} module. Please do not use this module directly.
+\deprecated{2.1}{Use \refmodule{random} instead.}
+
+\strong{Note:} This module was an implementation detail of the
+\refmodule{random} module in releases of Python prior to 2.1. It is
+no longer used. Please do not use this module directly; use
+\refmodule{random} instead.
This module implements a Wichmann-Hill pseudo-random number generator
class that is also named \class{whrandom}. Instances of the