Well, I don&#x27;t know if you got this fired off before I got <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11692983" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11692983</a> out, but I certainly hadn&#x27;t seen your post before mine, so, thanks for proving my point.