Nobody has been banned yet, AFAIK. So nobody can answer your second paragraph question. But plenty are choosing to leave.

The judgement you're talking about here ("banned projects don't have human users propostionate...") is going to require evidence? At this point the software community is absolutely full of these tools and people who use them.

If the specific thing banned was projects like that, fine. But that's not what the clause added in the PR said.