President Trump would be better off if he would stop fulminating on Twitter, and Twitter needs to learn the difference between an illegal threat and boringly normal discussions of public policy.