EXM-30807: Accessibility enhancement.
EXM-31178: Driver version correction.
EXM-31062: Host format when editing the "No proxy for" option.
EXM-31155: We are no longer selling the diff server.
Minor wording change.
EXM-27905: Small corrections to the webhelp customization.
EXM-31282: Updated link to external topic.
Minor corrections, mostly spelling.
Merge branch 'dev'

* dev:
  Editing configuration topics for clarity
  Fixing some of the mess I made related to issue #46
  Addressing issue #47 -- mathflow support in Eclipse
  Addressing Radu's point from issue #46
  Editing preference topics for clarity
  Updating profiling colors and styles config
  Editing preferences topics for clarity
Remove project file from .gitignore.
Fix validation: exclude note from developer deliverables.