Users can toggle an extension's optional permissions in about:addonsProblem:They can disable a permission the extension currently needs, or enable a permission it currently doesn't need.When a user does this, it would be great if the extension could ...