Run `./render.sh` whenever you update tinyspec.tex to regenerate tinyspec.pdf.