NLud has hit its due date. The claim reflects the outcome of a 1995 bet
between Kevin Kelly and Kirkpatrick Sale, with the stakes being held by Bill
I have exchanged email with Patrick, Kelly, and Sale. They expect to settle
the outcome of the bet shortly after 2021-01-01, after which I expect to
I have updated the judge's statement accordingly but cannot postpone the due
date. Barring objection, and assuming the change is feasible, it would be
helpful to change the claim to show a due date of 2021-05-01.