Add information about web proxy.
Add web proxy configuration.
Fix typo and whitespace.
Fix text.

Replace editor by insight or importer depending on file.
Merge pull request #1317 from jburel/proxy-network-checkup

Proxy network checkup