Links for random-number-generator-2023