docs: misc cleanups

Here's a pile of fixes for the docs. The first few patches are removal of out-of-date docs. The next few patches fix a few formatting details.