Extensions to `vc.el'