Adjustable quality for PDF export

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