Formal papers, PDFs, and academic-facing outputs.