Use case or problem
pdf export with many images reach really big file size
Proposed solution
add a simple low, mid, high quality setting on the “Export to PDF” pop up
Current workaround (optional)
I use an external PDF compressor to reduce the size of the pdf