He commented on this here: https://news.ycombinator.com/item?id=9588901

Or maybe even sell it through HN - so many people know patio11, maybe a buyer could have been found through the network?