modified:   ftplugin/coq.vim