I think my question is now answered by https://news.ycombinator.com/item?id=13383171 https://news.ycombinator.com/item?id=13383171, in particular https://news.y

I think my question is now answered by https://news.ycombinator.com/item?id=13383171 https://news.ycombinator.com/item?id=13383171, in particular https://news.ycombinator.com/item?id=13383211 https://news.ycombinator.com/item?id=13383211.