Es gibt nun WebExtensions für Chrome, Opera, Vivaldi und Edge. (Funktioniert vermutlich auch für andere Chromium basierte Browser, sofern die Installation über den Chrome Web Store zulassen.) Im Store von Opera oder Edge ist WebExtension noch nicht verfügbar, aber bei allen lässt sich diese über den...