我們對 Roko 的巴西利斯克已經知道一段時間了，只是我們以前稱它為「遊戲」。