Merge proposals

corectrl in Ubuntu has no merge proposals.