Should this repo be merged to automata-library?
I think we should merge the docs contents into automata-library repo under the docs folder. We can then still generate with jenkins, or with mkdocs. IMHO the documentation should be available in the main repo.