No one is going to miss Trump more than the DNC strategists.