Application settings saved in an INI file (fix #10)