Some documentation improvements

There are 4 separate commits here.  Feel free to cherry-pick the ones you want if you agree with some but not all of them.