*further improved naming convention for settings files (default.settings and user.settings), cosmetic improvements to the indexing prompt of the help browser dialog.