Minor edits in Summary and Motivation.

proposals/semantic-prompts.md

@@ -7,9 +7,12 @@ Escape codes and conventions for semantic marking of
 commands (as in shells and other REPLs) and their components
 (prompts, user inputs, and output).
 
+[This article shows enabled functionality with screenhots](http://per.bothner.com/blog/2019/shell-integration-proposal/),
+based on how the proposal is implemented in [DomTerm](https://domterm.org).
+
 # Motivation
 
-The user interaction in shells and other [REPL applications](https://en.wikipedia.org/wiki/Read-eval-print loop) is a sequence of commands,
+The user interaction in shells and other [REPL applications](https://en.wikipedia.org/wiki/Read-eval-print-loop) is a sequence of commands,
 where each _command_ is a sequence of _user input_ (one or more lines typed by the user) and command output (from the application).
 The input lines will usually contain _prompt_ sections emitted
 by the application, usually at the beginning of the first line.