diff --git a/slides_template/.gitignore b/slides_template/.gitignore
index 6e951f3..d0bedd2 100644
--- a/slides_template/.gitignore
+++ b/slides_template/.gitignore
@@ -24,3 +24,4 @@
 *.pdf
 *.png
 *-luamml-mathml.html
+*.swp
diff --git a/slides_template/Makefile b/slides_template/Makefile
index ee347d8..8c5fb52 100644
--- a/slides_template/Makefile
+++ b/slides_template/Makefile
@@ -1,31 +1,24 @@
 #!/usr/bin/make
 
-# Slides are the deliverable: this is the build that gets uploaded and the one
-# that has to validate. The notes build is assembled from it afterwards and is
-# only ever looked at while presenting.
-
-# veraPDF's installer leaves a directory called verapdf on PATH which shadows
-# the launcher inside it, so the full path is used. Override if yours differs.
-VERAPDF ?= $(HOME)/bin/verapdf/verapdf
-
-TEX := $(wildcard *.tex)
+# fonts.tex is a fragment meant to be \input, not a document of its own, so it
+# has to stay out of the list or make will try to typeset it.
+TEX := $(filter-out fonts.tex,$(wildcard *.tex))
 PDF := $(patsubst %.tex,%.pdf,$(TEX))
 JOB := $(patsubst %.tex,%,$(TEX))
 
 all: slides
-slides: $(PDF)
+slides: vc $(PDF)
 
 %.pdf: %.tex
 	latexmk -f -lualatex $<
 
 # Double-width pages, slide left and notes right, for dspdfviewer and pdfpc.
+# The notes pages are typeset with the same fonts as the slides.
 notes: slides
 	./mknotes $(JOB)
 
-# PDF/UA-2 conformance of the slides. Only the slides build is expected to
-# pass; the assembled notes PDF is untagged by design.
-validate: slides
-	$(VERAPDF) -f ua2 --format text $(PDF)
+vc:
+	resources/vc-git
 
 viewpdf: slides
 	evince $(PDF)
@@ -33,9 +26,13 @@ viewpdf: slides
 pdfpc: notes
 	pdfpc -n right $(JOB)-notes.pdf
 
+spell:
+	aspell -c -t --tex-check-comments -b $(TEX)
+
 clean:
 	latexmk -C $(TEX)
 	rm -f *.notes *.tmp *.nav *.snm *.pdfpc *-luamml-mathml.html
+	rm -f vc
 	rm -f $(JOB)-notes.pdf
 
-.PHONY: all slides notes validate viewpdf pdfpc clean
+.PHONY: all slides notes vc viewpdf pdfpc spell clean