Texinfo 4.13 from SVN