This repository contains stuff to analyse the output of pdf convertion via pdftohtml with sed