yep, it's pdfTeX, I just verified it in the document properties. I'm glad you used it :)
Reply on news.ycombinator.com