are using a browser extension to selectively enable or disable
Describe your changes (optional):
Review Request #1739
Created Sept. 12, 2022 and submitted Sept. 12, 2022, 3:02 p.m. — Latest diff uploaded Sept. 12, 2022, 1:40 a.m.
Also fix a little bit of brace styling.
Compile and load only.