they should already fixed it, the file that they are mentioning, this "userprefs.js" does it is not harmful