le-editor is not my problem anymore. :-)