modified: ftplugin/coq.vim (added: setlocal nonumber)