It may be too late to activate that option. They were hoping that Trump's legal troubles would doom him so much that a weakened Biden could beat him. It is looking like they miscalculated.
I think you’re right. Clearly they would like more options, but every option is just more hideous than the next.
And isn’t it breath-taking how NO ONE will utter the phrase Kamala as president. When you DEI hire you get lousy results.