Fine. It would also be great if I could search for filetype:pdf without getting gamed results where academic publishers either create a folder hierarchy that simulates a PDF result (but you actually have to pay), or else only shows GoogleBot the actual PDF (and the rest of us have to pay).
Would additionally be great if Google's autocomplete on filetype:pdf didn't default to "filetype pdf" (i.e. adds a space and omits the colon, nullifying the token).