>> Good catches, thanks Fabien. I will fix that tomorrow or so.>> And applied to HEAD.
Ok.
Should it be backpatched? I'm not sure what the usual practice is wrt to small fixes in the doc.
-- Fabien.