Merge proposals

Manual has no merge proposals.