At the moment preferences are edited through a plain text editor. Would it be possible to have them editable through a GUI interface? It would make it easier for less technical users.