are using a browser extension to selectively enable or disable
Review Request #994
Created Oct. 4, 2021 and submitted Oct. 4, 2021, 3:31 a.m.
Update to gplugin 0.35.0
Compiled and ran in the devenv.