I can’t believe there are still people who are sour about the HTTPS push. Just people complaining that it makes their job harder when it clearly is a huge win for the end user. Do you know how many airport/business hotspots inject junk in your non-HTTPS pages? It’s totally worth spending 5 minute setting it up.