enhance GUI with documentation in tooltips
We should associate a tooltip with each widget in the GUI that contains the help string provided in Common/DefaultOptions.
We could also provide
- the "scripting name" for the option
- and the keyboard shortcut (if any)