Starting now, the verbose text that goes like "About to connect() to" will

now contain the word "proxy" is the hostname is in fact a proxy. This will
help users detect situations when they mistakenly use a proxy.