@stevenroose I can email the text to you if you like.

@ben
Hmm, I suppose you don't want to post a public pastebin for copyright infringement reasons? Sure, send me an e-mail, thanks. I wasn't intending to give you so much trouble, though.