texinfo 5.1 svn diff