“It’s clear we ran afoul of the old lesson: don’t build communities for long-lasting FOSS projects on proprietary infrastructure you don’t control.”
Google Groups now deletes replies right after you submit them. Its search is bad, which is impressive for a Google product, and the unread markers flag your own posts. The formal methods community built its home there anyway. GitHub is the next Google Groups, and the same people are moving in.