Google-diff-match-patch: libraries in multiple languages for sync-ing text (code.google.com)