Thanks Seth

Ordinarily I’d just thank Seth in the comments to his blog, but since Seth doesn’t have comments, I’ll thank him for his nice plug right here.