On Wed, 8 Dec 2021, Steve Litt wrote:
There are ways to shrink PDF size: Web search: linux shrink pdf size
SteveT, First hit uses ghostscript; I never dove deep into gs and didn't know that it can effectively compress a PDF file. It compressed the original 3,704,503 byte file to 897,417 bytes; a reduction of 76%. That's impressive. Thanks for the valuable lesson! Stay well, Rich -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users