(minor) vcs: get rid of @@