Aargh: This happens. Deleting the editor files.