Update PRNG documentation.