A pity, since humor is the only purpose I see for twitter. If they banish the trolls, much of the humor leaves the space, and many will leave for a more free-speech platform.