Ok maybe I should give nvim a try again after years of using vscode. alacritty + nvim (lsp-zero + coq_nvim + telescope) -- just an hour to set up and works lighting fast compared to vscode