Merge proposals

TeXmacs has no merge proposals.