Merge proposals

r5rs-doc in Ubuntu has no merge proposals.