pdfs: Add presentations for thunks, infinite lists