Tootfinder

@… has a nice writeup about the differences between Chrome extensions and WebExtensions https://www.howtogeek.com/what-is-a-webext

What is a WebExtension, and how is it different from a Chrome extension?
Building cross-browser extensions is easier than it used to be, but still tedious.