veraPDF validation not run

veraPDF was not available, so only Overfull’s own accessibility checks ran (no full PDF/UA validation). A warning when the profile requires accessibility (thesis, paper) and the CLI could have run it (Docker is available); otherwise, including in the browser and the GitHub Action, a note.

Fix

‸Install veraPDF (https://verapdf.org) and put verapdf on PATH, run overfull check --engine docker, or run the check in the Overfull Docker image.