So, which is the preferences file ? And how can i gain acces to modify it. I tried to copy a modified js file on top on a js file belonging to mozilla and it didn't alllow me to