[docs] [issue29023] Results of random.seed() call with integer argument should be claimed deterministic.