My initial search for bounties didn't turn up that one, either. I wonder if my connection(s) with Erdos have polluted my search history, so it was showing me mostly those, and not showing me this.

<shrug>

Thanks for finding this and letting me know, I've learned something.