Add a section about random number generation to the manual.