Draft: Lint documentation with markdownlint

Linted the documentation with https://github.com/markdownlint/markdownlint/tree/main

I disabled a few rules that were either

• too painful to fix,
• not that blocking.