Editorial: Twitter has provoked outrage. But President Trump is the bigger problem. (Washington Post)