[PATCH 1/1] doc: random number generation