> She lamented the disappearance of the option to show only PDFs in the search results Nitpicking but this is still possible at least using ddg, google and pos

> She lamented the disappearance of the option to show only PDFs in the search results Nitpicking but this is still possible at least using ddg, google and possibly other search engines by appending `filetype:pdf`.