replace-texi2html-with-makeinfo
cherry-pick-9982ab6f-missing-changelog-entry
