Make PDF easy to build
@Ericson2314 suggests that it would be good to have an easy way to gather all the dependencies and build this PDF using e.g. Nix. This is a great idea, and I don't know how to begin doing it. I'm happy for contributions of this sort.