Checks if the given file path has a PDF extension.
static bool hasPDFExtension(String filePath) => p.extension(filePath).toLowerCase() == ".pdf";