3 ms·

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