Docs 2.0

summer Aug 2021

Improve the look and navigation of the documentation pages.

Also move them around internally to make them easier to manage.