carbon2-commit: Convert man/texinfo.tex from GPLv2 or later to GPLv3 or later.