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