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