Delete editor.py.orig