Clean up documentation (#37)

* initial cleanup pass over manual

* No tools to maintain TOC

* start cleaning up DesignPrinciples

* Update docs/Manual.md

Co-authored-by: Joosep Jääger <[email protected]>

---------

Co-authored-by: Joosep Jääger <[email protected]>

Author: MaximilianAlgehed