are using a browser extension to selectively enable or disable
Review Request #1709
Created Sept. 1, 2022 and submitted Sept. 15, 2022, 7:15 a.m. — Latest diff uploaded Sept. 14, 2022, 4:31 a.m.
We no longer have any GTK3 consumers so there's no reason to keep this code
ran ninja dist