It looks like HTTrack ignores the proxy settings while downloading HTTPS
content. Is there a way to define a specific HTTPS/SSL proxy or to force
HTTrack to use the proxy for HTTPS/SSL as well?