博識な皆様に質問なのですが、userChrome.js で about:config の値を変更させるにはどういうスクリプトを書いたらいいのでしょうか？