Vim 9 Plugins for Lean #1 Post by dougb5 » Wed, Feb 04, 2026, 7:20 PM UTC Vim 9 Plugins for Leanvim.castedo.com