Debate tools: an experience report — AI Alignment Forum