Tools for exploding PDFs into fragments based on an index