Current proxy settings
Effective settings
Original settings
Recently failed proxies, marked as bad
Bad proxy server
Time for next retry