I feel very great sadness for Notch.

I really hope he finds fun and joy. I am immensely grateful to him (and the rest of Mojang) for Minecraft.