reddit 26

Capitalised the names of the bots. GitHub does alphabetization with case
discrimination.