I'll look into that. I haven't been building the pdfs locally and forgot there was more to docs than github-rendered markdown.