Greasemonkeyのエディタを設定する

これはメモです。
Greasemonkeyをインストールしたが、編集ボタンをいくら押しても何も起動しない。
どうやらエディタの設定がおかしいらしい。
どうすれば直るのかと困っていたら、about:configでgreasemonkey.editorの値を変更すればよいことが分かった。