OPAM remote for the unified documentation patches