@tehn PR up! I can fix PDF building as part of this PR or right after, whichever works. Let me know if you need anything.
@alanza thanks for the feedback, I fixed the header, I think: