jleider/google-diff-match-patch archive