Quizás no entiendo bien cómo funciona HTTP a través de SSL, pero me interesaba saber si las direcciones visitadas por un navegador a través de HTTPS están cifradas. Esto no es solo en términos de olfatear patrones de navegación (aunque hay otras formas de hacerlo), sino en particular, la información enviada mediante el método HTTP GET (ya que esta información se adjunta en la barra de direcciones del navegador).