そういえばbotプレイヤーの名前の仕様が変わってることに気づいた
前は他のプレイヤーの名前が勝手に使われてたけど、今のbotは架空のプレイヤー名を使ってる