Neovim é brabo mesmo. Tô usando com o lsp integrado e com o coq_nvim. O input lag do neovim é the licinha e se quiser eu posso codar pelo tty sem treta e deixar ainda mais rápido.

To usando a uns anos e hj em dia minhas dotfiles são uma expressão nix. Pq nix? Mais fácil de replicar, iterar e reproduzir. Eu posso usar uma, duas, dez, cem máquinas todas rodando a mesma config de forma granular, e diferente da maioria dos outros esquemas, totalmente idempotente pra alterações futuras.

Vcs podem ver como é rodando:

nix run github:lucasew/nixcfg#pkgs.custom.neovim

Ele vai pedir pra dar um :CoqDeps, que idealmente não deveria ser necessário, e aí tá pronto.