Comment by latexr

2 days ago

> Or did you mean to say "more interesting"?

I did, yes, that was a typo. I did notice it after the edit window was closed but the submission hadn’t had any traction so it felt silly to reply to my own comment to correct it.

Glad the submission was resurrected, I think it deserves it. My original comment was precisely to convince people to give it a read.