Als gebruiker heb ik gewoon google.com (of http://google.com) ingetikt, en er verscheen HTTPS — waar komt dat vandaan en wie heeft dat ingevoerd, welk deel van het systeem doet dat?