accumulated doc pull requests from the queue

I cherry-picked all the small documentation updates because at 3 hours per pull request, they would have taken 21 hours to land.