change html-differ version