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