Description of problem:
Current summary :
"Tools·for·fromating..." fromating -> formating :-)
Hi, thanks for reporting. I'll fix it later together with any major bug.
Texinfo updated to latest upstream (4.9) and typo corrected in devel.
As I wrote before -- fixed in devel, I will not fix it in F-7.