It is a big patch touching many things. You may want to compare it
with the previous texinfo file.
Signed-off-by: Federico Vaga <federico.vaga@cern.ch>