Hacker News Reader

If the results are identical, then who cares? If it's just a matter of saving five keystrokes, I wonder if your 60-keystroke comment was a good use of time...

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

Isn't ext just an alias for filetype? http://www.googleguide.com/advanced_operators_reference.html

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.

Then why use "ext" and not "filetype"?

Because the submitter may not have known about "ext"?

(Thanks, now I do.)

probably because ext is easier to use and Google will therefore probably discontinue it shortly...