Vim: more coq tweaks.