Bonjour Michaël,
>> Should it be backpatched? I'm not sure what the usual practice is wrt to
>> small fixes in the doc.
>
> The text is right, and this impacts only the appearance of the text,
> so I did not see that this was enough for a backpatch.
Ok. It would mean that possible other doc patches on the same area would
not backpatch easily, but the doc is expected to be more or less frozen
for a given version. So fine with me.
--
Fabien.