Yes also there were (and possibly still are) a fair batch of never Trump types pushing to drop Harris along with Biden, so we should always remember who they are