are using a browser extension to selectively enable or disable
Review Request #2063
Created Nov. 16, 2022 and submitted Nov. 16, 2022, 10:35 p.m.
This is needed for something else I'm working on, but it was much easier to
find/fix outside of that code.
Fix some include loops