PDF tools are of great help when dealing with PDF files. With these tools, you can split or merge pages, annotate or highlight PDF documents, add a header