Hmm, sorry about that , I really thought I was replying only to the sub-thread https://news.ycombinator.com/item?id=11458280. I would be willing to remove my comment but I cannot find how...