Things to put in settings¶

• Whether to show icons, text, or icons+text (default) in toolbars

• Hg executable path

• User name and email address (stuff in startup dialog)