Reset style to normal on exit.
Provide diff-indices from diff.rkt
Fix boundary conditions of diff-indices
Use lists instead of sets in diff.rkt to reduce consing slightly
Incremental redisplay.