re: #294 HappyWarrior

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

Sadly, politics is very often a “Nice guys finish last” kind of business.