In reply to a tweet by thorne:

@thorne, IIRC I sent you a patch for it some time ago. Did that get applied?