On: Linus Torvalds: “I'm happily hacking on a new save format using ‘libgit2’”

[Danieru]

I think that is what haberman meant.

Back on topic: The reason for PDF's existence is to be a non-turing complete subset of postscript. Features like direct indexing to a page are why Linux has switched to PDF as the primary interchange format.