The RMS resignation was inevitable and right, but at the same time very sad.
Things can be right and sad at the same time. We can feel empathy while knowing this was necessary.
For people celebrating, we understand why. For those feeling sad about it, it's okay to feel sad too, but we all knew it had to happen.