>>757
//kb.mozillazine.org/User.js_file

この仕組みを利用すれば全ユーザーごとに設定する必要はなくなるよ
少ない設定項目とのことなので使わないでもいいかもしれないけど一応こういうのもあるって感じで