Hi Ludo and Andreas,

I agree with Andreas here, better push it now so that momentum doesn't
die out.  FWIW, the patch looks good to me, although the important part
will be how the new version fares in real applications :)

Best,
-- 
Josselin Poiret