I think Y.js 14 and the new y-prosemirror binding fix a lot of the encountered issues