elisp for redpen