The three original one-page A4 PDFs were rendered from SVGs with rsvg-convert. The renderer embeds subsets of DejaVu Sans so text remains selectable. DejaVu is a third-party font, separate from the CC BY 4.0 teaching text and Apache-2.0 drawing source. Its rights remain with the DejaVu authors under the DejaVu Fonts licence. The full copyright/licence notice copied from the installed package is retained here. No standalone font file is distributed in this pack.