Shockingly,
InStr(<this page of 100+ comments>, "docum") = 0
I'm a dev with some grey hair who feels it would have been useful for all that fantastic domain knowledge from Paterson to get documented in a code comment.I'd love to hear if either of them ever went back and did that?