diff --git a/static/init.example.el b/static/init.example.el
index 187cd99be..383195206 100644
--- a/static/init.example.el
+++ b/static/init.example.el
@@ -145,7 +145,7 @@
        ;;julia             ; a better, faster MATLAB
        ;;kotlin            ; a better, slicker Java(Script)
        ;;latex             ; writing papers in Emacs has never been so fun
-       ;;lean              ; for folks with too much to prove
+       ;;lean              ; for the OBSOLETE Lean 3
        ;;ledger            ; be audit you can be
        ;;lua               ; one-based indices? one-based indices
        markdown          ; writing docs for people to ignore