I was getting to that - hence the [editing...] :) Thanks for the reminder - some of my processes time out after a while.

Edit: I got to it! See the lower portion of https://news.ycombinator.com/item?id=27398725, after the "---".

If you or anyone notices something wrong with the argument, I'd like to hear what it is.