RE: user specific settings in users file overwritten by DEFAULTsettings?