In reply to a tweet by me:

@axiixc I should say that IIRC @froydnj did almost all of the actual work.