The more I think about it, the more I think we should use 'proprietary' sequences and not rely on the more standard shell integration ones as they could confuse VS Code and we want to add additional capabilities on top. So I imagine there would be a shell integration section in the docs that explains how to source the built-in scripts, and not documenting the sequences we support as we want flexibility to change the protocol.