Miscellaneous fixes to documentation

Fixes are in separate commits to improve legibility and ease of review. Most of these should be straightforward, but let me know if any are questionable. Thanks!