JsonDiff: more comments

Not sure I fully comprehend what happens yet, though.