are using a browser extension to selectively enable or disable
Describe your changes (optional):
Review Request #2822
Created Nov. 16, 2023 and submitted Nov. 16, 2023, 9:56 a.m.
Prepare for the next round of development
Ran ninja dist