Toolkit to turn PDFs (well, PDFs exported to HTML with Adobe Acrobat) into RestructuredText