Diff highlighting works now even if embedded nodes are removed/inserted