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.
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.