Making sure userprefs don't get changed on github itself.