Use case or problem
Export to pdf currently allows only a few different page sizes, and no custom page size.
Proposed solution
Please consider adding more page sizes (in particular A6 index card size would be very interesting), and custom page sizes. I guess custom page size is more difficult than just adding more ‘standard’ page sizes, so initially expanding the list of export sizes would already be great.