Proxy settings's official public repository