How to SAVE new instructions added to the Firefox user preferences file?

[Karl Klinger]

Bas Roufs wrote:
>> The instructions say to paste the lines into user.js, not prefs.js.
> 
> The instructions you refer to do indeed only refer to 'user.js'.
> However, 'prefs.js' is simply another name for 'user.js', according to
> the last alinea of this page:
> http://www.gemal.dk/mozilla/profile.html
> Respectfully yours,
> Bas.
> 
I don't see where it says that, and if it did it would be wrong.  You 
have to create user.js.  It does not exist by default.

Karl