The outcome of the discussion seems pretty clear now. I am cloning this bug and reassigning to dh-ocaml as a reminder to update our policy. -- Stéphane