Also very curious about this. And yes, there are companies that do that - and then it's usually called Deep Packet Inspection or similar, not MITM, because that's a term attributed to malicious parties.

And in that case, the proxy can both, manipulate the JS as well as the HTML, so the argument of the linked page is still faulty.