Sorting JSON Keys Alphabetically: Why It Matters for Diffs