Hello,<br><br>Does anyone have information about <a href="http://ocaml.info">ocaml.info</a> ?<br>Is it gone forever (which would worry me a bit) ?<br><br>Cheers,<br>Rémi<br>