Many docs updates

This rearranges the documentation somewhat.

It's still not perfect: we need a better docs landing page, for example. But it's a step in the right direction, I think.