Merge proposals

helpman in Ubuntu has no merge proposals.