3dcc048299
date: 2026-06-19T21:43:27 master commit: 5d90689776fdc7a3be31fc1335003aee20a2ba62
Run ./render.sh whenever you update tinyspec.tex to regenerate tinyspec.pdf.