Extensions for `vc.el'