A bunch more doc cleanups

2019-07-19, Gary Kramlich