On Fri, Jan 19, 2018 at 06:35:30PM +0000, Rob Speer wrote:
> Guido had some very sensible feedback just a moment ago. I am wondering now
> if we lost Guido because I broke python-ideas etiquette (is a pull request
> not the next step, for example? I never got a good answer on the process),
> or because this thread is just constantly being derailed.

I don't speak for Guido, but it might simply be he isn't invested
enough in *this specific issue* to spend the time wading through a
long thread. (That's another reason why a PEP is sometimes valuable.)
Perhaps he's still on holiday and only has limited time to spend on
this.