Otfm, Gg and Vg

**Warning** do not merge before `opam` 1.1.