Delete redo+.el.