#9911: doc copyedits.
31 files changed