[lex.phases] Make note on the notion of file more prominent#8680

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

AlisdairM:move_note_on_source_file_abstractionAlisdairM/draft:move_note_on_source_file_abstractionCopy head branch name to clipboard