I mean, nobody on the py-committers threads owes you anything. But OP was observing an apparent gap in their thinking -- and indirectly, stating there is a toxic element of culture that destroys leadership morale, which nobody is (publicly) commenting on.

I think you'd say the same, if you agreed that culture was a solvable contributor to GvR's exit (even if you, like me, knew he was leaving for market reasons eventually). By analogy, if 'dang said "I'm leaving yall, this sucks, elect a replacement" and we were like "cool who's it gonna be". That would be an error, and I think you would be at the top of the comment page saying "Also, let's all make some changes so that the next 'dang doesn't have a miserable life."