redo+.el installed