@nprofile1q... Nope! user.js never gets overwritten. The only danger is that they rename all the preferences, or stop honoring them, so the old ones stop working.