4 ms·

True, although .pdf files are already indexed. Do we also need to have html5 versions of those same pdfs indexed? I'm not sure we do.