Remove mention that the PRNG needs to be seeded before invoking some
functions.