Separated branches; current main branch uses BotPlayer ai, other branch uses AiPlayer ai.