copyright_exceptions (eev/eev-lean4.el): New entry

Author: monnier

copyright_exceptions

@@ -38,6 +38,7 @@ capf-autosuggest/capf-autosuggest.el:;; assignment to the FSF, see info node "(e
 capf-autosuggest/capf-autosuggest.el:;; package is stored in GNU ELPA, non-trivial patches require copyright
 coterm/coterm.el:;; assignment to the FSF, see info node "(emacs) Copyright Assignment".
 coterm/coterm.el:;; package is stored in GNU ELPA, non-trivial patches require copyright
+eev/eev-lean4.el:;; Try: ({k2}l \"Copyright\")
 excorporate/excorporate-calfw.el:;; copyright assignment papers on file with the FSF.
 hyperbole/hib-doc-id.el:;;  Copyright:        
 hyperbole/kotl/kotl-autoloads.el