I like the suggestions. The only concern would be having time to implement this.
>does the “disconnect” button make sense for this alpha1 (as we don’t demo offline support).
This was mostly for manually testing that we could disconnect from the server and then reconnect and continue working. But I think we should remove this for the demo as it think this will require more testing be be stable.
Just for your information, we are currently making changes to the server side[1] to support different types of diffs/patches. The first type added, apart from the current DiffMatchPatch, is JSON Patch. So when developing the client libs/testing please use the branch mentioned in [1] which also contains links to how to start the servers.