On 2014-12-03 17:22, Nicolas Goaziou writes: > Alan Schmitt writes: > >> Thank you. Here is a manual patch to mention this option as that >> point. > > Thank you. Could you add an appropriate @vindex entry above modified > paragraph? Here you go.