On 18/08/2019 23.39, Paul Ducklin wrote: > I subsequently swapped out xoshiro256** for Jenkins-7,13,37 ... Can you say why you chose to swap out the internal RNG instead of using it as a library? (Also, what's your reason to prefer that RNG?)