Janitorial documentation work

Lazy Sunday morning with time to kill: here's my attempt at cleaning up the documentation a little bit. Hopefully, with some more work, it can be moved out of the `old/` directory.

Thanks.