replace-texi2html-with-makeinfo
cherry-pick-4414e54e-prevent-double-locking-with-shared-or-incremental-history
cherry-pick-87270496-make-lexrestore-more-signal-safe
