Thanks so much for looking into this.

On Sat, Dec 24, 2022 at 10:01 AM miha wrote:
Two possible ideas to solve this:

- Introduce a new marker to separate user input from process output.

- Use text properties to distinguish user input from process output.
  This is what comint.el does, it marks process output with 'field' =
  'output'.

Is one of these options preferred? The second idea sounds more robust, and also it is nice that the example of comint.el exists for it. But perhaps I am naive about what they require.