I hope Patio11 has sold (or at least hedged) his shares: <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=3770787" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=3770787</a><p>(Although looking at the long term share history, he&#x27;s still up on the deal).