using the PDFs again since GitHubrst and md rendering are a bit quirky