mixed VC pin: some more doc, save back opam file