I love open source but I think this analysis misses the real problem. In 2023, communities built purely on "mailing list" style tools are much less engaging and

I love open source but I think this analysis misses the real problem. In 2023, communities built purely on "mailing list" style tools are much less engaging and useful than communities that allow live discussions. For example, the author refers to the SMT-LIB google group. There has only been one message posted there in the last month! That isn't a "google groups" problem, it's a "nobody wants to use a mailing list any more" problem. I don't think using open source tools would have solved this issue. Mailman is open source and for a long time was the obvious open source alternative to Google Groups but hardly anyone is recommending that you migrate from Google Groups to Mailman! That said, there's nothing wrong with looking for an open source solution. It makes sense to try open source tools when you're talking about a community built around open source software. Zulip seems worth a try.