re: #254 HappyWarrior

I didn’t get anything thankfully.

Gotta wonder where that mailing list came from, tho.