"Shell integration" refers to a broad category of ways by which a commandline shell can drive richer integration with the terminal. This spec in particular is most concerned with "marks" and other ...