Improve docs for random.seed()
2 files changed