assorted tweaks and addenda to python-level RNG documentation