This is only tangentially related to your point, but Riot uses CRDTs for their chat system.
https://technology.riotgames.com/news/chat-service-architect...
https://technology.riotgames.com/news/chat-service-architect...
The blog post I've read in the first link seems to say that CRDTs gets very complex when applying it to a domain where there are all kinds of different rich operations. I guess CRDTs aren't fundamentally the right solution for the collaborative document editing problem then?