Remove "Other HTTP Proxies" section from documentation.

Removes the "Other HTTP Proxies" section, which has been growing
increasingly obsolete.