Automata extraction from README.md (issue #33)