If I have the addon HTTPS Everywhere installed, what would be the priority (if any) which HTTPS method to use. The built-in method or the addon? Is there any point in having HTTPS Everywhere addon still?