[git] git-sf added
[vim] Coq support