[execution.syn] Add comments to cross-references in synopsis#8289

tkoeppe merged 1 commit intomaincplusplus/draft:mainfrom

cd26-323cplusplus/draft:cd26-323Copy head branch name to clipboard