Merge proposals

five-or-more in Ubuntu has no merge proposals.