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.