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.
