This page should be editable, although it technically doesn't follow the specification by having newlines around the bot names
