Hello,
I just happened to hava a need to set my own Host header and found that addHeader cannot be used for the purpose.
http.php sets the Host: header using getHost(); getHost() itself obtains hostname extracted from URL.
Nice if setting Host: header using addHeader would override the default getHost behavior.