Files
dotfiles/dot_config/nvim/coq_init.vim