A while ago Google Docs even switched to using Etherpad-style operational transformation instead of diff-match-patch. Some pretty mind-bending technology here:

http://www.codecommit.com/blog/java/understanding-and-applyi...