Oops sorry you are right, I was supposed to post that inside the Flammarion post that I made just before this one at <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11064890" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11064890</a>, got a bit confused :)