Howto contribute in the transition?

[Hendrik Tews <hendrik@askra.de>]

Stéphane,

I now and then look at the OCaml transition page, but, from what
I see there, I am not able to derive if and how I could help
(apart from working on hol-light - which I am doing in the
background). Maybe you want to share some bits on how to
contribute?

Best,

Hendrik