misc: Drop diff_match_patch, use pypi mirror instead