Ack! Except... just to test it, I totally screwed up the proxy settings, with "enable proxy" checked, and it still connected just fine. So, regardless of whether proxy was checked or not, or what I put in, it still connects. That doesn't give me a lot of confidence...