Replying here because I couldn't reply to your other comment (I think it reached max depth). It has no particular relation to PDFs :D. It's just a random name.

Replying here because I couldn't reply to your other comment (I think it reached max depth). It has no particular relation to PDFs :D. It's just a random name. I also like the number 31.