I should clarify that much of my concern here is not about this particular ban. My first post in this thread was:
There has been no response to that. I and others made similar points during the tense discussions that happened several months ago (e.g., this one, which also received no or minimal response. That’s the gist of my concerns.