Jeff King [off-list ref] writes:

I was not following the topic closely, but I think there is a v10 of
this series anyway, so you may want to eject it from 'next' in the
meantime (I had assumed you were going to do so as part of the
post-release rewind, but it looks like that happened already and it got
re-merged).

I can do the post-release rewind again ;-)

I somehow had an impression that the topic was more or less done,
but if it deserves another chance, let's give it one.

Thanks.