On Tue, 4 Mar 2014 15:03:35 -0800, Sebastien Mondet wrote:
> 
> Oh I did not know there was http://ocaml.org/releases/ (there is no
> link from anywhere else, right?).

Indeed, I am afraid so.

> So this line should be
> 
> Download the [source of the release you want](/releases/)

Something like that — maybe a bit better (that does not sound too
engaging to me).

> should I add a commit or do you prefer a “rebase”?

I prefer you rebase.