On Mon, Jul 23, 2018 at 12:03 PM Antoine Pitrou <solipsis@pitrou.net> wrote:

I suspect Chris A. was merely joking, though I'm not sure what the joke
ultimately is supposed to be about.

Ah, right, I stopped reading his email after the quoted line. Well executed.

Yury