Adding subsection for proxy server configuration.
Updating the PDF version of the manual.