14 earlier thoughts
OK, I think I figured out the PDF export option above.
Which leads me to: The "Quick Export" popup is actually an interesting case study in sub-optimal design.
17 later thoughts
ctrl + enter
alt + enter