It might be a bug, but does anyone know how to enable the Webextensions options_ui so that a user can actually open the options without needing to use runtime.openOptionsPage() or manually type the path?
I’ve got it enabled in my extension, but there is nothing in the addons manager that I can see to open it. According to https://developer.mozilla.org/en-US/Add-ons/WebExtensions/manifest.json/options_ui “The user can access it from the browser’s add-ons manager”, but I don’t see how.