Moderating a prominent troll and raising the standards to the level of every other user, is not really politics.
You and Twitter may want it to not be politics... But unfortunately both doing nothing and doing something are political moves by Twitter HQ, I'm afraid.
To define Donald as a troll is also political statement.