texi2html: version bump