Great comment! I didn't know about Dybvig's dissertation. Did the string-based model ever get used?

(The blog was what got submitted, tells the story of the project, and links to the Github page, so I think it's fine.)