is it useful to have HTTP and HTTPs handled by distinct proxies?