Add automata to index.html?