Merge proposals

survex in Ubuntu has no merge proposals.