Thanks. The API I use for redirecting doesn't allow file:/// redirects, so that feature will probably never be in this extension.