I got curious, too. The last comment you made before this one was this: https://news.ycombinator.com/item?id=5008026 https://news.ycombinator.com/item?id=500802

I got curious, too. The last comment you made before this one was this: https://news.ycombinator.com/item?id=5008026 https://news.ycombinator.com/item?id=5008026 Very constructive :-)