The following is an AI-based method of converting a PDF to text. There is OCR software that can more or less detect symbols without AI, but I find that AI is typically more accurate and introduces fewer strange symbols. To do this, first convert the PDF to images via ```raw pdftoppm source.pdf source -png ``` This will produce a number of PNG images. In my case, the numbers went from 001 to 304. Next, I used the following shell script to run AI on each image. Here, I'm using gemma3:4b since i...