This is not a fundamental issue. Node splitting can be represented in CRDTs. It's just really hard to map correctly to ProseMirror as the merge logic is complex and bound to a schema.
I don't blame you for ProseMirror for being how it is. I'm just offering my feedback for your next editor library.
I don't blame you for ProseMirror for being how it is. I'm just offering my feedback for your next editor library.