I’m probably overthinking this… but if you need to feed it those manuals anyway, wouldn’t it be simpler to stuff a bunch of PDFs in a document store with full-text search (and run OCR where needed)? Takes fewer computing resources and yields higher quality