It has been discussed.  The place to start is:<br><a href="http://en.wikipedia.org/wiki/Keith_Henson"><br><span class="gmail_quote">http://en.wikipedia.org/wiki/Keith_Henson</span></a><br><br>That is out-of-date and should be updated with respect to the current status.
<br>