doc: restructure the documentation
This sits on top of !693 (merged)
This is an attempt of breaking up the documentation, currently spread across several pages. We're left with a few high-level topics with various things grouped underneath those.
Further refinement is necessary, but this can now be done in incremental steps over massive reworks.