"WebExtensions" is a nebulous term and I can find no where that Chrome calls their API WebExtensions, it is simply the "ChromeAPI" Mozilla as even stopped us

"WebExtensions" is a nebulous term and I can find no where that Chrome calls their API WebExtensions, it is simply the "ChromeAPI" Mozilla as even stopped using the term WebExtensions, instead just going with Extensions [2] The "spec" that most people refer to as WebExtensions, is BrowserExtensions orginally published by Microsoft via W3C [1] [1] https://browserext.github.io/browserext/ https://browserext.github.io/browserext/ [2] https://wiki.mozilla.org/Add-ons/Terminology#Background https://wiki.mozilla.org/Add-ons/Terminology#Background