For the sake of completeness, here a pastebin link that works - http://pastebin.com/izaBK6fH
Looks like the former one didn't work because I uploaded it via pastebin.el and pastebin.com wanted me to enter a captcha, in time. I missed that because I didn't open it in a browser before posting it here.
