Network settings

Network related settings.

Proxy

Proxy-server used for network connections.