Re: [Python-Dev] Should we use getentropy() for os.urandom()?