Docling: An open-source tool kit for advanced document processing - Looks useful for getting precious text out of the PDF silo, from IBM.