Edits to the text in cosure_execution.qbk