> More than 6 months ago people already knew that Notch gave up.

I don't know about "people," but I certainly didn't know it. I was just checking the website http://0x10c.com as recently as a few weeks ago.