re: #187 HappyWarrior

I wasn’t aware he had left. Damn.

I think he’s been taking a break, but I wouldn’t presume to speak for him. He’s done that before though, I believe.