Merge proposals

texi2html in Ubuntu has no merge proposals.