Is there any example of this ever happening? A major platform losing a non-trivial proportion of their users for not censoring them?

The network effect is strong. That's the problem to begin with. If people would quit so easily then there would be a lot more platforms and competition and we wouldn't be having this discussion.