> What about texinfo.tex? Shall I commit it? Yes, it's always good and right to switch to the latest published texinfo.tex version as long as there are no new formatting problems. Thanks, Roland