doc: Fix short documentation header line.
doc: Add newlines to fix Sphinx warnings.

reST requires newlines between blocks that change indentation. Sphinx
doesn't seem to mind, mostly, but it produces a lot of warnings if
they're missing.
doc: Add missing toctree entries.