Improved handling at startup of exception in
initializations from the stored information about
fonts and file history.
Update file-extension on the enclosed extensions.
Minor improvements in the GUI.