Well, Google has their own Python type system and employed Guido for years. I'm sure they've spent millions on improving Python or their usage of Python.
I suspect Instragram has spent > 1M dollars of eng time on Python.
What I'm trying to say is that the companies spend money on the problem of Python performance. I doubt much of it is upstreaming improvements to Python, though I'm sure is (at least indirectly, funding Guido and other major Python developers), but most is probably just improving their own internal libraries, or, more likely, finding ways to FFI.
I suspect Instragram has spent > 1M dollars of eng time on Python.
Agree, nowhere near v8/js.