I can unfortunately say... no, I do not remember it. I do remember (vaguely) there were Democrats who were not happy he got the nomination and were HOPING he'd lose. ... and my dim memories suggest these are the same people who pined for when he was in office after Trump took it in 2016.
