EDIT: No, apparently not. Weird; we all thought that was going to make him a multi-millionaire.
Reply on news.ycombinator.com