Remove documentation of deleted ProxyServer setting section.

Author: delphidabbler

Docs/Design/FileFormats/config.html

@@ -1151,56 +1151,6 @@ <h4>
   </dd>
 </dl>
 
-<div class="del">
-<h4>
-  [ProxyServer] section
-</h4>
-
-<p>
-  Stores information about any proxy internet server that is to be used.
-</p>
-
-<p>
-  Name / Value pairs:
-</p>
-
-<dl class="indent">
-  <dt>
-    <strong>UseProxy</strong> (Boolean)
-  </dt>
-  <dd>
-    Flag that indicates whether to use a proxy server or not. If false the remaining name / value pairs in this section are ignored.
-  </dd>
-  <dt>
-    <strong>IPAddress</strong> (String)
-  </dt>
-  <dd>
-    IP address of proxy server in dotted quad format, e.g. 127.0.0.1.
-  </dd>
-  <dt>
-    <strong>Port</strong> (Integer)
-  </dt>
-  <dd>
-    Port on which to access proxy server.
-  </dd>
-  <dt>
-    <strong>UserName</strong> (String)
-  </dt>
-  <dd>
-    Username for proxy server access. Empty if server doesn't require a user
-    name.
-  </dd>
-  <dt>
-    <strong>Password</strong> (String)
-  </dt>
-  <dd>
-    Encrypted form of any password required to access proxy server. Empty if no
-    password is required. This value is a hex representation of the bytes of
-    the encrypted password.
-  </dd>
-</dl>
-</div>
-
 <h4>
   [UnitList] section
 </h4>