(1) Change 'automata' to 'automaton' (which is the singular); (2) add TODO about choosing a single capitalization for Botworld
resolve merge