copyedit recently-enhanced docs
Merge pull request #8092 from cvrebert/develop

copyedit recently-enhanced docs