I’ve been using both of those tools for years too, but those are OS-wide plugins that do not modify Safari’s behavior- which to me is the very definition of a “

I’ve been using both of those tools for years too, but those are OS-wide plugins that do not modify Safari’s behavior- which to me is the very definition of a “browser extension”.