With GitHub and Discord, these 3 are really hard to boycott for programmers (even more to publicly shame people for using them). And yet, we must dissent.