Add redo+.el