Vim: more experimental coq hacks