are using a browser extension to selectively enable or disable
Describe your changes (optional):
Review Request #2500
Created July 7, 2023 and submitted July 12, 2023, 4:48 a.m.
This file is worthless so lets get rid of it.