are using a browser extension to selectively enable or disable
Describe your changes (optional):
Review Request #2607
Created Sept. 5, 2023 and submitted Sept. 5, 2023, 5:22 a.m. — Latest diff uploaded Sept. 5, 2023, 5:19 a.m.
Fix some warnings with the Pidgin docs
Built the docs and verified the warnings were gone.