Pdftabextract – A set of tools for data mining OCR-processed PDFs · HackerTrans