are using a browser extension to selectively enable or disable
Describe your changes (optional):
Review Request #12452
Created July 11, 2022 and submitted July 12, 2022, 8:35 a.m.
Noticed there was a typo in the glossary. Read it over to make
sure there weren't any other typos.
Pushed to release-5.0.x (41092d0)