Where did the name Notch come from?

edit

Check out this interview: [1]. I'll incorporate it into the article when I get chance or you can be WP:BOLD and add it yourself -Rushyo Talk 12:36, 7 December 2012 (UTC)Reply