Merge proposals

csound-manual in Ubuntu has no merge proposals.