I am using Chromium (not Chrome) under Debian 9. How can I remove this extension:
Obviously, it cannot be removed by clicking "remove" and it cannot be found under its ID in
/home/.config/chromium/Default/Extensions/
Is is stored elsewhere or maybe even 'hardcoded' into the Chromium source code?

