Log of #mupdf at irc.freenode.net.

 <<<Back 1 day (to 2020/05/21)Fwd 1 day (to 2020/05/23)>>>20200522 
Robin_Watts txt23: I don't understand the question.17:54.05 
  You want to shrink the size of the file? (i.e. throw image data away so it's lower resolution?)17:54.27 
  or you want to fiddle the scale factors in the PDF so that stuff appears to be letter sized?17:54.59 
 <<<Back 1 day (to 2020/05/21)Forward 1 day (to 2020/05/23)>>> 
ghostscript.com #ghostscript