[antisthenes]

Yes, the files themselves open quite quickly, but I will admit that it's a complicated diff (lots of expected differences), and VSCode is not primarily a diff tool.

But also 10k line file should be nothing for a modern PC.