Bot documentation was consolidated into Bot.md.