Comment on Google PDF Search: “not for public release”parentComments−monochromatic11yIf 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...−wut4211yit may have more results with the filetype, some server generated PDFs doesn't always have the extension.−qupear11yIsn't ext just an alias for filetype? http://www.googleguide.com/advanced_operators_reference.html−knd77511yThen what in the world are you arguing?−MaulingMonkey11y"This is an undocumented alias for filetype:" (emphasis added)Seems like reason enough to avoid ext: and/or be ignorant of it.
Comments
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.