I should hope it's a coup. GNU will lose far more if all these people leave frustrated than if RMS is no longer its boss - even if RMS never harasses anyone aga

I should hope it's a coup. GNU will lose far more if all these people leave frustrated than if RMS is no longer its boss - even if RMS never harasses anyone again (which seems vanishingly unlikely).