Clean up Markdown and punctuation.
Announce Pixley and Etcha in HTML5.
Reflect the fact that Xoomonk has, in fact, been implemented.
Make the Online Installations index less catseye.tc-specific.
Add 'Try it Online' buttons to Automaton index.