HTTPS Everywhere: Activate default HTTPS while browsing with Firefox