@MaryRobinette do you know much about Jed beyond this story? What did he do for a living? Did he grow old? Did he fall in love?