[CyberDildonics]

If you have files that are large enough that json is a problem, why use json in the first place? Why not use a binary format that will be more compact and easier to memory map?

[httgp]

Chances are they can’t control that; they’re perhaps provided by a vendor.