actually remove the section about pre-compiled PDFs