e65706971e
This totally changed the logic of the "Use Privileged Extension" preference making it based on whether the Privileged Extension is installed and usable rather than storing the user's selection. This code now only stores when the user manually disables using the Privileged Extension even when it is installed. closes #729