Predictable number generation for True Random Number Generator (https://www.random.org/)
As of 2021-10-02. See the latest version.
