L'editor de la configuració es pot utilitzar per a canviar les opcions de configuració que utilitzen les aplicacions i que no estan disponibles a través dels diàlegs de preferència.

Versions disponibles:

Els mateixos documents formatats com un fitxer HTML únic