Merge proposals

consult-el in Ubuntu has no merge proposals.