Board Thread:Game Discussion/@comment-33869270-20190212063154/@comment-33870577-20190212065210

They use random.org, most likely.