[bawolff]

I dont know about that specific file, but pdf usually gzips its component parts so i wouldn't expect naive grepping to work.