It won’t matter who the nominee is... Dems can’t win in NOV against Trump.. I agree that one way or another Dems will likely replace Hillary before Nov, but it won’t change the outcome... only the margin.
"...I agree that one way or another Dems will likely replace Hillary before November..."