Because of this, I found it worthwhile to burn 1-2 hours to de-minify his Javascript, which mostly required figuring out what all his inlined JS libs are.
https://gist.github.com/4321959
To save you a click, here are the JS files he uses:
https://github.com/EightMedia/hammer.js/blob/master/jquery.h...
http://code.google.com/p/rangyinputs/source/browse/trunk/jqu...
https://github.com/jeresig/jquery.hotkeys/blob/master/jquery...
https://github.com/EightMedia/hammer.js/blob/master/hammer.j...
Modified version of http://code.google.com/p/jquery-elastic/source/browse/trunk/...
http://code.google.com/p/webapptools/source/browse/trunk/wat...
https://github.com/coreyti/showdown/blob/master/src/showdown...
https://github.com/coreyti/showdown/blob/master/src/extensio...
https://github.com/coreyti/showdown/blob/master/src/extensio...
https://github.com/coreyti/showdown/blob/master/src/extensio...
http://sharejs.org/channel/bcsocket.js