Cómo cambiar el editor de texto de Greasemonkey

Si Greasemonkey no tiene la opción "Greasemonkey Options" en su menú desplegable, entonces hacer lo siguiente:

1. En la barra de navegacion del navegador Firefox, escribir:
   about:config
2. En el campo de búsqueda, escribir:
   greasemonkey.editor
3. Click derecho y editar esta preferencia. Elegir otro editor. Por ejemplo, SublimeText está en:
   /user/lib/sublime-text-2/sublime-text