Any chance you could talk about how you represent the other users cursors in the editor?
We (the FT) are currently building that “collaborative cursor” functionality and are finding that using a widget Decoration for the cursor and an inline Decoration for any text selection has caused a few confusing things to happen in the browser like the browser cursor jumping around as decorations are moved around the document by prosemirror.