Ashish has emailed Xavier to request this.
I think another gentle request should be made.
Any news on this?
I sent another email cc'ing several of us.
Update: 11-Feb-2014 - @avsm offered to do the redirect if Xavier and Damien approved. However, we haven't gotten a reply yet.
In an email, Damien has confirmed that Xavier has approved this. @avsm Please go ahead with the redirect when you can. Thanks.
I do not think there is anything left to do here.
Why not? @avsm could still do this.
Right, I was of the wrong impression that this was discussed and settled when the warning was put on http://caml.inria.fr/