So, while I agree that you should ignore nobody trolls, I DO NOT think you should ignore famous, politically/economically relevant trolls. It's an act that comes with some risk, and is therefore courageous and admirable.
Is that a triple negative?
It's like with school shooters and serial killers, you shouldn't mention their names, publish their manifesto or do movies about them precisely to avoid copy cats or to give them what they want. If elon messes up twitter, leave it, don't give him attention for it.