[intro.races], [intro.progress] Use consistent terminology#8650

lprv wants to merge 1 commit intocplusplus:maincplusplus/draft:mainfrom

lprv:r89lprv/draft:r89Copy head branch name to clipboard