file:///

[lastorset]

I'd like to use this extension on local files as well. It's extremely useful on the output of man -H bash, for example.

I believe that just adding a file:///*/* glob to content_scripts in the manifest will disable the extension when it's upgraded; if so, that's not acceptable. But I think an optional permission would work, together with declarativeContent.onPageChanged injecting a script.

If it does, the permission could, for example, be requested whenever a file URL is opened, or in response to a checkbox "Allow access to local files" in the options page. I hope that this is persistent when restarting the browser and upgrading the extension…