re: #294 HappyWarrior

I really wish both were doing better. They’re both solid guys.

If Beto could deliver Texas, he would be an obvious running mate for a (ahem) more experienced lead.