Frederik Beaujean authored Feb 11, 2021 and Frederik Beaujean committed Feb 18, 2021

Other improvements of the docs include

- table-of-contents generation fixed
- replace links to external markdown files with HTML. Not sure why doxygen doesn't complain in CI, it failed with version 1.8.13 in my ADE
- spell checking of numerous documents
- remove subtree doc