Merge proposals

super-save-el in Ubuntu has no merge proposals.