POST RELEASE

mkdocs is able to process more feature rich markdown than what we currently use.
We currently include man-pages as GithubFlavoredMarkdown, which among other things does not sipport definition lists.

We should setup mkdocs to use more features and adjust the markdown compilation accordingly.