The SVG/PDF generator uses local DejaVu Sans/DejaVu Sans Bold and embeds the font in PDFs. The bundled DejaVu copyright/licence text is retained from the system font package. Its Bitstream-derived licence is separate from the CC BY 4.0 licence on our authored pages. If changing the font, verify embed permission and re-run the print, visual and hash checks.