Use xoshiro256** to generate pseudo-random numbers.
[tinc] / .ci / tidy /
drwxr-xr-x   ..
-rwxr-xr-x 686 run.sh