Update HtmlDiff.js