What Is a PDF File and Why Do We Still Rely on Them?