Putting the user preferences file out of source control again