Documentation cleanup. Renamed ProxyPort setting to Proxy.