Huge delays for https sites when using singapore/IE10

Hi all,
I’m seeing huge delays when using Singapore/IE10 for HTTPS sites. Looking at the tcpdump, I see most of the captured packets are related to WPAD (Web Proxy Autodiscovery Protocol).

http://www.webpagetest.org/result/130527_RZ_8NR/
tcpdump: CS Personal on cloudshark.org

I also read about high load times related to OCSP/CRL in another thread, maybe this is also the root cause here? Really unsure, especially because the above tcpdump doesn’t contain all packets…