Given that most site visitors won't have HTTPS Everywhere installed, do you think it makes more sense to show the results as if HTTPS Everywhere weren't enabled?