And it is a shame. The current AI explosion is the poorer for it, due to the greater difficulty of extracting the text from PDFs.