Hacker News Reader

it may have more results with the filetype, some server generated PDFs doesn't always have the extension.

Then what in the world are you arguing?

"This is an undocumented alias for filetype:" (emphasis added)

Seems like reason enough to avoid ext: and/or be ignorant of it.