This is a fork of diff-match-patch that retains only the diff part of the JavaScript code, and incorporates some tweaks that are probably not useful upstream.