The five one-page A4 PDF mats are rendered from original SVG with rsvg-convert. The PDF renderer embeds subsets of DejaVu Sans so text remains selectable. DejaVu is a third-party font, separate from the CC BY 4.0 lesson text and Apache-2.0 drawing code. Its rights remain with the font authors under the DejaVu Fonts licence. The full licence/copyright text copied from the installed DejaVu package is retained in dejavu-font-copyright.txt. No standalone font binary is distributed in this pack.