Which is why I made gist.io:

http://gist.io/8101758 (the OP's content, but nicely formatted for reading on any size screen, and with attention to typographic detail.)