3 ms·

So I just emailed Dr. Rienhoff, linking to this page, and encouraging him to post any problems he encounters to HN.