dotfiles/.config/helix/runtime/grammars/lean.so