>>846
補足しておくとそもそもuser.jsはprefs.jsを上書きして起動するためのもので、初期設定時に目的の設定を簡単に上書きするために使用するファイル。
user.jsを入れて一度起動したら終了させてプロファイルフォルダから削除するのが基本の使い方で、入れっぱなしにしておくのはありえない。