In reply to a tweet by thorne:@thorne, IIRC I sent you a patch for it some time ago. Did that get applied?