Final version (we hope), plus .pdf output.