update redo+.el