are using a browser extension to selectively enable or disable
Describe your changes (optional):
Review Request #12453
Created July 11, 2022 and submitted July 11, 2022, 7:14 p.m.
We had a small handful of typos and spelling errors in our manual. This
fixes them up.
Built docs and checked output.
Pushed to release-5.0.x (7758500)