In the dillo 2.0 dillorc, I had written that HTTPS uses wget, and that configuring wget to use a proxy would therefore send https traffic through it. That's wrong; I was repeating outdated information. Right now, HTTPS will not use a proxy at all. I bring this to your attention in case it matters to those using Tor and the like. ------ In other news, have you noticed that the dillo website is particularly speedy now? Andreas turned on HTTP compression :)