In Tails 1.7, when I click on Preferences for the HTTPS-Everywhere
Add-on, I am presented with the screen for the opt-in "Observatory".
What happened to the other section where I could add/edit domains
supported by the plugin? Some sites I would disable because of
cert issues and now I have to disable the plugin in order for this
to work because the domain config option section is now GONE!
