Automata 2.0 Wiki/Extensions