I've spent a lot of time with working for or closely interfacing with a half dozen academic institutions. I left academia by choice -- with multiple TT offers in hand -- so this isn't sour grapes.

I am highly confident in my assessment that the personalities found on the typical R1 tenure track are exactly the sort of personalities I avoid hiring or working with at all costs. There are exceptions, but they prove the rule (and I can often poach them anyways).

I don't think I said anything about industry other than that it pays 3x-5x better than the TT, and I'm pretty darn confident that's true. I am clear-eyed about the issues in industry, but the personalities are much better.

I really do believe that the massive pay disparity between CS industry and CS academia is, in part, a "toxic personality that can't play well with others" tax. And I really do believe that you'd get more mentally/emotionally healthy people on the TT if it paid better.

Anyways, we can agree to disagree, because we agree on the solution in any case.