@sqrt2 @rysiek

Welp, at the very least it’s a misattribution that’s two decades old—I remember it floating around the net in the early ’00.