the spotlight on automata is now archived. please hit the sidebar to get a hold of that page.