* Converted to a WebExtension.
- Note, that due to preferences API not being provided for WebExtensions, at least for the time being, browser.dom.window.dump.enabled pref needs to be set manually to get the output on the standard out stream (in addition to app console).