Comment by SanderSantema

> 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`.