Merge proposals

xref-el in Ubuntu has no merge proposals.