external google-diff-match-patch