Page resizing ?

[Bronek]

Hi, I am trying to change page size of a large document (almost 700 pages, some 4MB size) from Letter to A5. The approach suggested by a competing package is to "print to PDF" the document, while enforcing page size of the output and scale to match, but the result is suboptimal - the text is replaced by individual glyphs, resulting in size "explosion" to almost 400MB (factor close to 80x). Is there a way to do it better with Nitro? FWIW the document in question is freely available here https://support.hp.com/us-en/product/hp-50g-graphing-calculator/3235173/manuals (top one - Advanced User's Reference Manual v2)