Merge proposals

plastimatch in Ubuntu has no merge proposals.