Wow, yeah, I definitely meant extension. Don't know where plugin came from. I was already writing my Firefox extension using the then WIP Web Extensions api, bu

Wow, yeah, I definitely meant extension. Don't know where plugin came from. I was already writing my Firefox extension using the then WIP Web Extensions api, but I don't remember it being compatible with Chrome extensions, but it's right there on their Web Extensions homepage: "To a large extent the system is compatible with the extension API supported by Google Chrome and Opera. Extensions written for these browsers will in most cases run in Firefox or Microsoft Edge with just a few changes." And it should even work in Edge. Now I get to go back and look at what the heck I was doing with the Firefox extension. Thanks for the info!