Rejoin channel notes after brief connection loss (#2930)

* [x] Re-send operations that weren't sent while disconnected
* [x] Apply other clients' operations that were missed while
disconnected
* [x] Update collaborators that joined / left while disconnected
* [x] Inform current collaborators that your peer id has changed
* [x] Refresh channel buffer collaborators on server restart
* [x] randomized test
d03a89ca19Max Brunsfeld committed on 9/6/2023, 10:11:21 PM· committed by GitHubparentsbbeb82f58f58a6
24 files changedLine totals unavailable