Sync texinfo.tex and sed-related fixes from gnulib.