Vladimir_Nesov comments on Don’t Think Too Hard.

[Vladimir_Nesov]

If I did, it wouldn’t be a particularly useful piece of info (anecdote). I didn’t, and I read about such programs.