If anyone was in doubt, HTTPS does make it posible to know to which hostname a request is made without the need to decipher anything, for example, a query to a page of https://en.wikipedia.org/ carries something like this:

Hostname leak on wireshark