Update docs

Docs are fairly outdated already. This does not yet fix them, will aim to do more cleanup.

Going forward, docs should of course be kept tightly in line with code changes.