It has no particular relation to PDFs :D. It's just a random name. I also like the number 31.
Reply on news.ycombinator.com