let g:coqtail_nosyntax         = 1
let g:coqtail_noindent_comment = 1