Merge proposals

doc-linux in Ubuntu has no merge proposals.