Harris wanted to end the war. So option 1 is better than your argument has advertised. Harris was a huge improvement over Biden in that regard. But I digress.
Every vote counts. The tighter the margins the better. We need the Democrats to do better, as in run better candidates, in order to win, but if they ever do that, there better be a leftist voting block who helped them get into office. Otherwise the Democrats will not feel safe enough to shift left.
Leftists need to be voting in record numbers to shift the Democratic Party to the left. Part of the way we do that is to vote for Democrats consistently. This should be a mechanical choice of who to vote for in the general. It's hard to do that when posts disparaging fixing the Democratic Party as impossible or so hard it's not worth trying are going unchallenged on the internet, including Lemmy.
Fixing the Democratic Party and this country will take time and a lot of work. Part of that work involves voting for Democrats.