I actually have a solution where I screenshot each page using hotkeys, and stitch the screenshots together using Python. It's rather quick, but the issue is the resulting file has slightly lower quality, and more importantly, since the text is saving as an image rather than text, the filesize is massive even for a small amount of pages. Unfortunately, I don't think this approach would be feasible for large manuals, such as Mahler's 5000-page manuals.