Make sure users cannot install additional https-everywhere extensions
We should think about the scenario where users think that HTTPS Everywhere
is not installed in Tor Browser, and install it manually (either via AMO or EFF webpage). To avoid possible conflicts with the built-in HTTPS Everywhere
we may want to prevent users from installing this extension manually.