Removed userprefs from github.

Because that should not be shared.