Grassroots Democrats were incensed by Trump’s first victory — with some talk then of primary challengers to leaders — but ...