We do actually have this, just not for the userscript. It's available with the browser extensions' preferences. These preferences are set and forget that I don

We do actually have this, just not for the userscript. It's available with the browser extensions' preferences. These preferences are set and forget that I don't think need to be on the page all the time. So if we do the Safari extension it'll have it just like other extensions. Will see how to make this available for the userscript.