[saint_yossarian]

This seems to be a system API, I meant the WebExtensions API that browsers implement: https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/Web...