This fixes issues where we'd incorrectly identify a PDF as HTML. Safari will use our preprocess javascript file even if the file is PDF, so we rely on JS to detect the content type here.
This fixes issues where we'd incorrectly identify a PDF as HTML. Safari will use our preprocess javascript file even if the file is PDF, so we rely on JS to detect the content type here.