whrandom documentation (was Re: Unsorting(randomizing) a sequence)

[Barry A. Warsaw]

>>>>> "JH" == Jeremy Hylton <jeremy at cnri.reston.va.us> writes:

    JH> The intended use of the standard library here is for users to
    JH> import random to get access to whrandom.  whrandom implements
    JH> a specific method for generating random numbers.  It could
    JH> easily be replaced with a different, improved module at some
    JH> time in the future.  If user code imports random, it will
    JH> automatically get the benefit of the new implementation.

In that case, shouldn't the documentation for the whrandom module
recommend this usage?

    http://www.python.org/doc/current/lib/module-whrandom.html

-Barry