Even if that's the case, so what? People seem to have been trying to help RMS fix his behavior for decades, and he hasn't. It doesn't matter if that behavior stems from a mental health issue or just him being an asshole. The behavior needs to stop. Ejecting him from MIT, the FSF, and the GNU Project are certainly drastic actions to remove him from places where he can do harm, but at some point, after literally decades, maybe you just give up on trying to change or moderate someone, and get them out of your life.