Thanks for the shout-out. You can also read the docs[0] about the rope data structure (the release is a bit old, if you're really curious git master is better).
I admit this is a fairly specialized use case, for most things xi uses mutability in a controlled way.