Regarding punishing repeat offenders anyway, as we've seen just
recently, you can't censor a determined individual on a public mailing
list anyway. Limit their audience, sure, but banning them outright seems
impossible. And I can hardly see the whole GNU project migrating off
mailing lists.
If new younger people come in charge and want to succeed to “compete” with
github, gitlab, etc. I can see how they’d like to replace mailing-lists
with gitlab or other SaaSS-like web software…
You might think support for proprietary OSes and “endorsement” of them (of
proprietary software in general, non-endorsement of the strict GNU
philosophy (which isn’t even actually so well described in the social
contract as to imply that proprietary software, should, indeed, stop to
exist, I believe)) are not anyhow related… but actually to support
something, you need to test it, to use it, and to know how good it is in
comparision with other similar uses on the same platform. That’s why
emacs OS X port is known to be pretty good. There are people using it.