I think rnotaro solved the whole mystery: https://news.ycombinator.com/item?id=18310631