are using a browser extension to selectively enable or disable
Review Request #2159
Created Jan. 1, 2023 and submitted Jan. 2, 2023, 9 a.m.
Prepare for the next round of development
Ran make distcheck