He terminated it himself: http://twitter.com/#!/notch