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