run pdflatex twice…
minor header, intro, outro tweaks.