Move documentation into the main repo

[raboof]

The documentation is currently maintained as tex in a separate repository at https://github.com/raboof/notion-doc .

The website is maintained as markdown in the gh-pages branch of this repo

It would be nice if we could:

• Update code, website and documentation in one commit
• Publish website and documentation in an unified way

To achieve this it might make sense to:

• move the website to master
• convert the tex docs to markdown
• move the tex docs to master

[wilhelmy]

I'm not sure about moving the docs to master, it would mean we have a lot of non-code commits on master.

Converting TeX to md in all inline comments is a major piece of work. I think the better way to go at it is modernizing the TeX-to-HTML export.

Maybe someone in the community likes doing web stuff?

Edit: I'm going to tag this "good first issue" because handling the docs means accidentally reading a lot of docs ;) Edit2: Maybe there are some technical writers with a background in TeX who are desperate to contribute to projects as part of Hacktoberfest. I know the chances are slim, but we'd really appreciate that. Anything web related I touch is several shades of ugly.