Did Google’s promotion of HTTPS go astray?