> So the best and cleanest way is probably to rely on [[https://developer.mozilla.org/en-US/Add-ons/WebExtensions/API/extension/getURL | chrome.extension.getURL]]("/") . It can start with "moz", "chrome" or "ms-browser". Unlikely to change in the near future.