https-everywhere add-on in TODO