I've never had to set up a proxy, and all the proxy settings I can find(chrome, windows, even IE and opera) look like no proxy is being used.
I just tried pinging kingdomofloathing.com(52.204.186.114) and it timed out every time. Pinging kolmafia.us and google.com work just fine, so I bet...