The idea wasn’t that he’d run in a primary, but that he would mount a third party ‘no labels’ bid in the general election. Polling made it really clear that this would throw the general election to Trump as some Biden voters would shift to Manchin, but few Trump voters would.