Reactivity modes

Support various editing modes:

- `real-time`: every keystroke is saved
- `fine-grained`: saved on "OK" click (in editing popup)
- `suggestions`: set of changes, saved on "Accept" click, dismissed on "Reject" click
- `pull`: like pull request, can be asynchronously *pulled* (instead of *pushed*) from another location