Docs 2.0

fall Sep 2021

Improve the look and navigation of the documentation pages.

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