Re: [Python-ideas] PEP 504: Using the system RNG by default